A closer look at some subintuitionistic logics
From MaRDI portal
(Redirected from Publication:1422101)
Recommendations
Cites work
- A propositional logic with explicit fixed points
- Algebraizable logics
- An algebraic approach to non-classical logics
- Basic logic, K4, and persistence
- Basic Propositional Calculus I
- Basic propositional calculus. II: Interpolation
- scientific article; zbMATH DE number 30929 (Why is no real title available?)
- scientific article; zbMATH DE number 1140580 (Why is no real title available?)
- scientific article; zbMATH DE number 1463149 (Why is no real title available?)
- scientific article; zbMATH DE number 757639 (Why is no real title available?)
- Logics Which Are Characterized by Subresiduated Lattices
- Protoalgebraic logics
- Speaking about transitive frames in propositional languages
- Subintuitionistic logics
- Weak Logics with Strict Implication
- What is strict implication?
Cited in
(42)- Predicate logical extensions of some subintuitionistic logics
- Update to ``A survey of abstract algebraic logic
- Subintuitionistic logics
- 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
- Subintuitionistic logics with Kripke semantics
- 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
- On the deductive system of the order of an equationally orderable quasivariety
- Correspondences between gentzen and hilbert systems
- Frontal operators in distributive lattices with a generalized implication.
- Classical and intuitionistic subexponential logics are equally expressive
- Categorical abstract algebraic logic: referential algebraic semantics
- Subprevarieties versus extensions. Application to the logic of paradox
- Frontal operators in weak Heyting algebras
- Weak subintuitionistic logics
- ON EQUATIONAL COMPLETENESS THEOREMS
- Modal translation of substructural logics
- Esakia duality and its extensions
- Tree-Sequent Methods for Subintuitionistic Predicate Logics
- 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
- Leibniz-linked pairs of deductive systems
- On the implicative-infimum subreducts of weak Heyting algebras
- Subintuitionistic logics and their modal companions: a nested approach
- A semantical analysis of some subintuitionistic modal logics
- On the quasivariety of sub-Hilbert algebras
- Algebraic semantics for weak subintuitionistic logic WF
- On weak Lewis distributive lattices
- Bounded distributive lattices with strict implication and weak difference
- On commutative weak Heyting algebras and some of its subreducts
- Selfextensional logics with a conjunction
This page was built for publication: A closer look at some subintuitionistic logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1422101)
