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