Pages that link to "Item:Q1091383"
From MaRDI portal
The following pages link to On superintuitionistic logics as fragments of proof logic extensions (Q1091383):
Displaying 11 items.
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- Interpolation property for extensions of intuitionistic provability logic (Q922543) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Scattered toposes (Q1977486) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Magari and \(\Delta\)-pseudo-Boolean algebras (Q2640631) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
