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)

Related Items (1)

Truth diagrams for some non-classical and modal logics

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

This page was built for publication: Truth diagrams versus extant notations for propositional logic