A Weakening of Alpha Graphs: Quasi-Boolean Algebras

DOI10.1007/978-3-319-91376-6_50OpenAlexW2804526235MaRDI QIDQ5878883

Minghui Ma, Ahti-Veikko Pietarinen

Publication date: 23 February 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-91376-6_50

zbMATH Keywords

quasi-Boolean algebraexistential graphssheet of assertionweak alpha graphs

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Peirce's dragon-head logic (R 501, 1901) ⋮ Thoughts, Things and Logical Guidance

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploring the beta quadrant
• Signs of logic. Peircean themes on the philosophy of language, games, and communication
• A relational representation of quasi-Boolean algebras
• Sequent calculi for semi-De Morgan and De Morgan algebras
• Assertion and denial: Aa contribution from logical notations
• Gamma graph calculi for modal logics
• Proof analysis of Peirce's alpha system of graphs
• Peirce’s Sequent Proofs of Distributivity
• Assertive graphs
• EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA

This page was built for publication: A Weakening of Alpha Graphs: Quasi-Boolean Algebras