On algebraisation of superintuitionistic predicate logics

DOI10.1007/978-3-319-69917-2_13MaRDI QIDQ5214741zbMATH OpenOpenAlexFDO

Authors 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) Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Algebraic counterparts for some properties of superintuitionistic predicate logics
• scientific article; zbMATH DE number 218502
• scientific article; zbMATH DE number 1354010
• Algebraizable logics
• scientific article; zbMATH DE number 3993545

Cites work

• A study of intermediate predicate logics
• Admissibility of logical inference rules
• Algebraic logic with generalized quantifiers
• Algebraizable logics
• Algebraization of quantifier logics, an introductory overview
• An algebraic approach to non-classical logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Fregean logics
• Grundzüge der Systemenkalküls I
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 1302673 (Why is no real title available?)
• scientific article; zbMATH DE number 1354010 (Why is no real title available?)
• scientific article; zbMATH DE number 859796 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3387342 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Logical matrices and the amalgamation property
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• On maximal intermediate logics with the disjunction property
• On variable separation in modal and superintuitionistic logics
• Protoalgebraic logics
• Weakly algebraizable logics

Cited in

(7)

• Number of prelocally table superintuitionistic propositional logics
• Semantical analysis of superrelevant predicate logics with quantification
• Algebraic counterparts for some properties of superintuitionistic predicate logics
• scientific article; zbMATH DE number 3906478 (Why is no real title available?)
• scientific article; zbMATH DE number 1354010 (Why is no real title available?)
• scientific article; zbMATH DE number 3993545 (Why is no real title available?)
• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview

This page was built for publication: On algebraisation of superintuitionistic predicate logics

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