The following pages link to Basic properties of the equivalence (Q786810):
Displaying 7 items.
- Free equivalential algebras (Q952484) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
- The Relevant Equivalence Property (Q5435201) (← links)
- Free spectra of linear equivalential algebras (Q5486254) (← links)