The existential graphs

DOI10.1016/0898-1221(92)90127-4zbMath0790.03032OpenAlexW1970199721MaRDI QIDQ1202676

Don D. Roberts

Publication date: 14 February 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(92)90127-4

zbMATH Keywords

relationsconsistencycomputational modelquantifiersAlphaBetaPeirce's logic diagrams

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99) General logic (03B99) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (3)

Revisiting Peirce's rules of transformation for Euler-Venn diagrams ⋮ Declarative operations on nets ⋮ Truth diagrams versus extant notations for propositional logic

Cites Work

• Solvable cases of the decision problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The existential graphs