On Algebraisation of Superintuitionistic Predicate Logics

DOI10.1007/978-3-319-69917-2_13zbMath1429.03060OpenAlexW2791258020MaRDI QIDQ5214741

Dmitry Tishkovsky

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_13

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• Logical matrices and the amalgamation property
• On maximal intermediate logics with the disjunction property
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Algebraization of quantifier logics, an introductory overview
• An algebraic approach to non-classical logics
• Algebraic logic with generalized quantifiers
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Admissibility of logical inference rules
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• A study of intermediate predicate logics
• On variable separation in modal and superintuitionistic logics
• Algebraizable logics
• Weakly algebraizable logics
• Grundzüge der Systemenkalküls I
• Protoalgebraic logics