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.
Διαθέσιμο Online:	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).

Παρόμοια τεκμήρια