The following pages link to On prevarieties of logic (Q2324841):
Displaying 9 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)
- Comments on predicative logic (Q2499285) (← links)
- On Kinds of Indiscernibility in Logic and Metaphysics (Q4916266) (← links)
- (Q4918299) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- On prevarieties of logic (Q6313940) (← links)