The following pages link to (Q3695251):
Displaying 4 items.
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)