Pages that link to "Item:Q3647244"
From MaRDI portal
The following pages link to The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244):
Displaying 20 items.
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Modes of adjointness (Q484110) (← links)
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- On some compatible operations on Heyting algebras (Q763330) (← links)
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
- Around provability logic (Q1035652) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Frontal operators in distributive lattices with a generalized implication (Q3452702) (← links)
- (Q3803087) (← links)
- Basic Propositional Calculus I (Q4210835) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)
