The following pages link to On prevarieties of logic (Q2324841):
Displayed 4 items.
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)