Peirce's sequent proofs of distributivity

DOI10.1007/978-3-662-54069-5_13MaRDI QIDQ5224499zbMATH OpenOpenAlexFDO

Authors Minghui Ma, Ahti Pietarinen

Publication date 24 July 2019

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54069-5_13

zbMATH Keywords

distributivitysequent calculusPeirce's rulealpha graphs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Peirce's calculi for classical propositional logic
• scientific article; zbMATH DE number 702012
• Some Notes on Proofs with Alpha Graphs
• Relational and Kleene-Algebraic Methods in Computer Science
• scientific article; zbMATH DE number 709767

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)