The following pages link to Peirce algebras (Q1333408):
Displaying 7 items.
- A new methodology for developing deduction methods (Q1037405) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Multigrade extension of relational grammar (Q1602556) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- Diagrammatic Reasoning with Classes and Relationships (Q2948607) (← links)
- Congruences and ideals on Boolean modules: a heterogeneous point of view (Q3107341) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)