Pages that link to "Item:Q1189901"
From MaRDI portal
The following pages link to Axiomatizing logics closely related to varieties (Q1189901):
Displaying 5 items.
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- On conforming axiomatics (Q1570915) (← links)
- FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY (Q4295214) (← links)
- Logics of varieties, logics of semilattices and conjunction (Q4644494) (← links)