Larisa Maksimova on Implication, Interpolation, and Definability

• Corporate Author: SpringerLink (Online service)
• Other Authors: Odintsov, Sergei (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Outstanding Contributions to Logic, 15
• Subjects: 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...

Table of Contents:

• 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).