Maksimova, Relevance and the Study of Lattices of Non-classical Logics

DOI10.1007/978-3-319-69917-2_1zbMath1429.01027OpenAlexW2793946531MaRDI QIDQ5214729

Sergei P. Odintsov

Publication date: 5 February 2020

Published in: Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69917-2_1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Amalgamation properties and interpolation theorems for equational theories
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A propositional calculus with denumerable matrix
• A mind of a non-countable set of ideas
• Five critical modal systems
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Some theorems about the sentential calculi of Lewis and Heyting
• Extensions of the Lewis system S5
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item