Cofinal stable logics

DOI10.1007/S11225-016-9677-9MaRDI QIDQ514517zbMATH OpenOpenAlexWikidataFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

Publication date 2 March 2017

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-016-9677-9

zbMATH Keywords

intuitionistic logicvarietyaxiomatizationHeyting algebraintuitionistic multi-conclusion consequence relationuniversal class

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Stable canonical rules
• Subframization and stabilization for superintuitionistic logics
• Canonical formulas for K4. Part II: Cofinal subframe logics
• A Sufficient Condition for the Finite Model Property of Modal Logics above K4
• Stable modal logics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3342820 (Why is no real title available?)
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• An ascending chain of S4 logics
• Canonical formulas for K4. Part I: Basic results
• Canonical rules
• Characteristic inference rules
• Consequence relations and admissible rules
• Locally finite reducts of Heyting algebras and canonical formulas
• Locally finite varieties.
• Logics containing K4. Part II
• On maximal intermediate logics with the disjunction property
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Profinite Heyting algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Stable canonical rules
• Syntax and semantics of superintuitionistic logics
• THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES

Cited in

(8)

• Intermediate logics admitting a structural hypersequent calculus
• MacNeille transferability and stable classes of Heyting algebras
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• scientific article; zbMATH DE number 786488 (Why is no real title available?)
• Subframization and stabilization for superintuitionistic logics
• Locally finite reducts of Heyting algebras and canonical formulas
• Stable modal logics
• Stability and General Logics

This page was built for publication: Cofinal stable logics

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