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

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

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)

Cites Work

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

Cited In (1)

• Larisa Maksimova’s Early Contributions to Relevance Logic

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)