Pages that link to "Item:Q2046877"
From MaRDI portal
The following pages link to The poset of all logics. III: Finitely presentable logics (Q2046877):
Displaying 4 items.
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- There exists an uncountable set of pretabular extensions of the relevant logic <i>R</i> and each logic of this set is generated by a variety of finite height (Q5502814) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
