Peirce's sequent proofs of distributivity

DOI10.1007/978-3-662-54069-5_13zbMATH Open1485.03065OpenAlexW2557358770MaRDI QIDQ5224499FDOQ5224499

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

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

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)

Cites Work

• Title not available (Why is that?)
• Signs of logic. Peircean themes on the philosophy of language, games, and communication
• Title not available (Why is that?)
• Existential graphs as an instrument of logical analysis. I: Alpha
• Title not available (Why is that?)
• Diagrammatic Representation and Inference
• Peirce’s Contributions to the 21st Century

Cited In (7)

• \(\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
• Title not available (Why is that?)
• Gamma graph calculi for modal logics
• Residuation in existential graphs
• A Weakening of Alpha Graphs: Quasi-Boolean Algebras

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)