Some Notes on Proofs with Alpha Graphs

DOI10.1007/11787181_13zbMath1194.03026OpenAlexW1762049453MaRDI QIDQ5757444

Frithjof Dau

Publication date: 6 September 2007

Published in: Conceptual Structures: Inspiration and Application (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787181_13

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)

Related Items (3)

Proof analysis of Peirce's alpha system of graphs ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Fixed-Point Elimination in the Intuitionistic Propositional Calculus

This page was built for publication: Some Notes on Proofs with Alpha Graphs