Maksimova, relevance and the study of lattices of non-classical logics

DOI10.1007/978-3-319-69917-2_1zbMATH Open1429.01027OpenAlexW2793946531MaRDI QIDQ5214729FDOQ5214729

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

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

Recommendations

• Two sequences of locally tabular superintuitionistic logics
• scientific article; zbMATH DE number 3861126
• scientific article; zbMATH DE number 859796
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• Interpolation and amalgamation; pushing the limits. I

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 3679782 (Why is no real title available?)
• scientific article; zbMATH DE number 3485748 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 3239507 (Why is no real title available?)
• scientific article; zbMATH DE number 3245444 (Why is no real title available?)
• scientific article; zbMATH DE number 3254928 (Why is no real title available?)
• scientific article; zbMATH DE number 3259885 (Why is no real title available?)
• scientific article; zbMATH DE number 3266622 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3342820 (Why is no real title available?)
• scientific article; zbMATH DE number 3368607 (Why is no real title available?)
• scientific article; zbMATH DE number 3370308 (Why is no real title available?)
• scientific article; zbMATH DE number 3383979 (Why is no real title available?)
• scientific article; zbMATH DE number 3417441 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3022976 (Why is no real title available?)
• A mind of a non-countable set of ideas
• A propositional calculus with denumerable matrix
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Amalgamation properties and interpolation theorems for equational theories
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Extensions of the Lewis system S5
• Five critical modal systems
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(2)

• Larisa Maksimova’s Early Contributions to Relevance Logic
• Larisa Maksimova on implication, interpolation, and definability

This page was built for publication: Maksimova, relevance and the study of lattices of non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214729)