Pages that link to "Item:Q454378"
From MaRDI portal
The following pages link to Extendible formulas in two variables in intuitionistic logic (Q454378):
Displayed 7 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)