Pages that link to "Item:Q1263575"
From MaRDI portal
The following pages link to Axiomatization of semigroup consequences (Q1263575):
Displaying 5 items.
- Strongly finitely based equational theories (Q1180703) (← links)
- Axiomatizing logics closely related to varieties (Q1189901) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- False though partly true -- an experiment in logic (Q1425194) (← links)
- Axiomatization of the De Morgan type rules (Q2640587) (← links)