On Algebraisation of Superintuitionistic Predicate Logics
From MaRDI portal
Publication:5214741
DOI10.1007/978-3-319-69917-2_13zbMath1429.03060OpenAlexW2791258020MaRDI QIDQ5214741
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
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