Larisa Maksimova on Implication, Interpolation, and Definability (eBook, PDF)

Redaktion: Odintsov, Sergei

• Format: PDF

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 371
• Erscheinungstermin: 30. Januar 2018
• Englisch
• ISBN-13: 9783319699172
• Artikelnr.: 52942910

Autorenporträt

Sergei Odintsov is a leading researcher of Sobolev Institute of Mathematics (Novosibirsk, Russian Federation). He is known for his work in algorithm theory and non-classical logic, including paraconsistent logics, constructive logics, semantics of logic programs. Moreover, he is an associated editor of the journal Studia Logica (Springer), a  member of the editorial boards of the journal Logica Universalis (Birkhauser) and of the book series Trends in Logic (Springer).

Inhaltsangabe

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