Larisa Maksimova on Implication, Interpolation, and Definability

التفاصيل البيبلوغرافية
مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Odintsov, Sergei (المحرر)
الملخص:	XII, 371 p. 9 illus. text
اللغة:	الإنجليزية
منشور في:	Cham : Springer International Publishing : Imprint: Springer, 2018.
الطبعة:	1st ed. 2018.
سلاسل:	Outstanding Contributions to Logic, 15
الموضوعات:	Logic. Mathematical logic. Computer science. Analysis (Philosophy). Computer arithmetic and logic units. Mathematical Logic and Foundations. Computer Science Logic and Foundations of Programming. Analytic Philosophy. Arithmetic and Logic Structures.
الوصول للمادة أونلاين:	https://doi.org/10.1007/978-3-319-69917-2
التنسيق:	الكتروني كتاب

جدول المحتويات:

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

مواد مشابهة