A closer look at some subintuitionistic logics

DOI10.1305/ndjfl/1063372244zbMath1034.03007MaRDI QIDQ1422101

Ramon Jansana, Sergio Arturo Celani

Publication date: 4 February 2004

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1063372244

zbMATH Keywords

abstract algebraic logic; algebraizable logics; intuitionistic logic; Kripke frames; modal logics; protoalgebraic logics; consequence relations; equivalential logics; subintuitionistic logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G99: Algebraic logic

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

ON EQUATIONAL COMPLETENESS THEOREMS, Modal translation of substructural logics, Easkia Duality and Its Extensions, The variety of modal weak Gödel algebras, On self‐distributive weak Heyting algebras, On the deductive system of the order of an equationally orderable quasivariety, Categorical abstract algebraic logic: referential algebraic semantics, Frontal operators in weak Heyting algebras, Distributive lattices with a generalized implication: topological duality, Leibniz-linked pairs of deductive systems, Selfextensional logics with a conjunction, Predicate logical extensions of some subintuitionistic logics, Update to ``A survey of abstract algebraic logic, Lewis meets Brouwer: constructive strict implication, Subintuitionistic logics and the implications they prove, Kripke semantics for fuzzy logics, Monotone subintuitionistic logic: duality and transfer results, Dualities for subresiduated lattices, Labelled tableau systems for some subintuitionistic logics, Beyond Rasiowa's algebraic approach to non-classical logics, Principal congruences in weak Heyting algebras, Binary modal companions for subintuitionistic logics, Implication via spacetime, The intensional side of algebraic-topological representation theorems, Correspondences between gentzen and hilbert systems, Frontal operators in distributive lattices with a generalized implication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A propositional logic with explicit fixed points
• An algebraic approach to non-classical logics
• Speaking about transitive frames in propositional languages
• Subintuitionistic logics
• Basic logic, K4, and persistence
• Weak Logics with Strict Implication
• Algebraizable logics
• Logics Which Are Characterized by Subresiduated Lattices
• Basic Propositional Calculus I
• What is strict implication?
• Protoalgebraic logics
• Basic propositional calculus. II: Interpolation