Cofinal stable logics
DOI10.1007/S11225-016-9677-9zbMATH Open1403.03045OpenAlexW2461576207WikidataQ59478453 ScholiaQ59478453MaRDI QIDQ514517FDOQ514517
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
intuitionistic logicvarietyaxiomatizationHeyting algebraintuitionistic multi-conclusion consequence relationuniversal class
Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Canonical rules
- Canonical formulas for K4. Part I: Basic results
- Representation of Distributive Lattices by means of ordered Stone Spaces
- On maximal intermediate logics with the disjunction property
- Stable canonical rules
- Consequence relations and admissible rules
- 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
- Syntax and semantics of superintuitionistic logics
- Profinite Heyting algebras
- An ascending chain of S4 logics
- Locally finite varieties.
- Locally finite reducts of Heyting algebras and canonical formulas
- Characteristic inference rules
Cited In (6)
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)
