On algebraisation of superintuitionistic predicate logics

DOI10.1007/978-3-319-69917-2_13zbMATH Open1429.03060OpenAlexW2791258020MaRDI QIDQ5214741FDOQ5214741

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Semantical analysis of superrelevant predicate logics with quantification
• Number of prelocally table superintuitionistic propositional logics
• Algebraic counterparts for some properties of superintuitionistic predicate logics
• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
• Title not available (Why is that?)
• Title not available (Why is that?)

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)