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