The following pages link to (Q3760525):
Displayed 5 items.
- A calculus for the common rules of \(\wedge\) and \(\vee\) (Q918952) (← links)
- Axiomatizing logics closely related to varieties (Q1189901) (← links)
- Axiomatization of semigroup consequences (Q1263575) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- Axiomatization of the De Morgan type rules (Q2640587) (← links)