Cofinal stable logics

DOI10.1007/S11225-016-9677-9zbMATH Open1403.03045OpenAlexW2461576207WikidataQ59478453 ScholiaQ59478453MaRDI QIDQ514517FDOQ514517

Authors: Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin 

Publication date: 2 March 2017

Published in: Studia Logica (Search for Journal in Brave)

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

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

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)

Cites Work

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

Cited In (6)

• Intermediate logics admitting a structural hypersequent calculus
• MacNeille transferability and stable classes of Heyting algebras
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• STABLE MODAL LOGICS
• Title not available (Why is that?)
• 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)