Cofinal stable logics

DOI10.1007/s11225-016-9677-9zbMath1403.03045OpenAlexW2461576207WikidataQ59478453 ScholiaQ59478453MaRDI QIDQ514517

Nick Bezhanishvili, Julia Ilin, Guram Bezhanishvili

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

zbMATH Keywords

varietyHeyting algebraintuitionistic logicaxiomatizationintuitionistic multi-conclusion consequence relationuniversal class

Mathematics Subject Classification ID

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

Related Items (4)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ MacNeille transferability and stable classes of Heyting algebras ⋮ STABLE MODAL LOGICS

Cites Work

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

This page was built for publication: Cofinal stable logics