Pages that link to "Item:Q1005954"
From MaRDI portal
The following pages link to Frame based formulas for intermediate logics (Q1005954):
Displaying 10 items.
- Free equivalential algebras (Q952484) (← links)
- Directed frames (Q1264137) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Stable canonical rules (Q2805038) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- \textsf{NNIL} axioms have the finite model property (Q5224694) (← links)
- Notes on my scientific life (Q6612807) (← links)