Truth diagrams versus extant notations for propositional logic

DOI10.1007/s10849-019-09299-yzbMath1477.03003OpenAlexW2972388051WikidataQ127240966 ScholiaQ127240966MaRDI QIDQ783668

Peter C.-H. Cheng

Publication date: 4 August 2020

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-019-09299-y

zbMATH Keywords

propositional logicdiagramstruth-tablesVenn diagramsformula notationFrege conceptual notationGardner shuttle networksnotationspierce existential graphssentential calculustruth diagramsWittgenstein Tractatus

Mathematics Subject Classification ID

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

Uses Software

• LPL software

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear diagrams for syllogisms (with relationals)
• The existential graphs
• Peirce's Truth-functional Analysis and the Origin of the Truth Table
• Spider Diagrams
• Diagrammatic Representation and Inference