The following pages link to On prevarieties of logic (Q2324841):
Displaying 5 items.
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- 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)
