Pages that link to "Item:Q1063013"
From MaRDI portal
The following pages link to An effective representation for finitely generated free interior algebras (Q1063013):
Displayed 4 items.
- An algebraic theory of normal forms (Q1346245) (← links)
- FORMULAS IN MODAL LOGIC <b>S4</b> (Q3066780) (← links)
- Canonical formulas for K4. Part III: the finite model property (Q4372915) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)