A closer look at some subintuitionistic logics

DOI10.1305/ndjfl/1063372244zbMath1034.03007OpenAlexW2061319273MaRDI 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 logicalgebraizable logicsintuitionistic logicKripke framesmodal logicsprotoalgebraic logicsconsequence relationsequivalential logicssubintuitionistic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Algebraic logic (03G99) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

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

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