Pages that link to "Item:Q1422101"
From MaRDI portal
The following pages link to A closer look at some subintuitionistic logics (Q1422101):
Displaying 27 items.
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- Distributive lattices with a generalized implication: topological duality (Q634749) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Predicate logical extensions of some subintuitionistic logics (Q1005979) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- Kripke semantics for fuzzy logics (Q1797765) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Dualities for subresiduated lattices (Q2240721) (← links)
- Labelled tableau systems for some subintuitionistic logics (Q2334660) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Principal congruences in weak Heyting algebras (Q2630276) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Implication via spacetime (Q2658280) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Frontal operators in distributive lattices with a generalized implication (Q3452702) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)
- On self‐distributive weak Heyting algebras (Q6096729) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
