Pages that link to "Item:Q5224499"
From MaRDI portal
The following pages link to Peirce’s Sequent Proofs of Distributivity (Q5224499):
Displaying 6 items.
- Gamma graph calculi for modal logics (Q1990000) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- Proof analysis of Peirce's alpha system of graphs (Q2363507) (← links)
- Residuation in existential graphs (Q2671610) (← links)
- PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC (Q5117592) (← links)
- A Weakening of Alpha Graphs: Quasi-Boolean Algebras (Q5878883) (← links)
