Peirce's sequent proofs of distributivity
From MaRDI portal
Publication:5224499
Recommendations
Cites work
- scientific article; zbMATH DE number 3691292 (Why is no real title available?)
- scientific article; zbMATH DE number 1548692 (Why is no real title available?)
- scientific article; zbMATH DE number 2108953 (Why is no real title available?)
- Diagrammatic Representation and Inference
- Existential graphs as an instrument of logical analysis. I: Alpha
- Peirce’s Contributions to the 21st Century
- Signs of logic. Peircean themes on the philosophy of language, games, and communication
Cited in
(7)- A Weakening of Alpha Graphs: Quasi-Boolean Algebras
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary
- Peirce's calculi for classical propositional logic
- Proof analysis of Peirce's alpha system of graphs
- scientific article; zbMATH DE number 5839726 (Why is no real title available?)
- Gamma graph calculi for modal logics
- Residuation in existential graphs
This page was built for publication: Peirce's sequent proofs of distributivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224499)