Larisa Maksimova on Implication, Interpolation, and Definability

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Odintsov, Sergei (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Outstanding Contributions to Logic, 15
• Θέματα: Logic.; Mathematical logic.; Computer logic.; Analysis (Philosophy).; Arithmetic and logic units, Computer.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.; Analytic Philosophy.; Arithmetic and Logic Structures.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definabili...

Πίνακας περιεχομένων:

• Chapter 1. Maksimova, relevance and the study of lattices of non-classical logics (Sergei Odintsov)
• Chapter 2. A short scientific autobiography (Larisa Maksimova)
• Chapter 3. Larisa Maksimova's early contributions to relevance logic (Katalin Bimb´o)
• Chapter 4. A note on strictly positive logics and word rewriting systems (Lev Beklemishev)
• Chapter 5. Characteristic formulas over intermediate logics (Alex Citkin)
• Chapter 6. A Generalization of Maksimova's Criterion for the Disjunction Property (Alex Citkin).