A new symbolic representation of the basic truth-functions of the propositional calculus

DOI10.1080/01445348808837128zbMath0652.03006OpenAlexW2058405326WikidataQ58356826 ScholiaQ58356826MaRDI QIDQ3797155

Jerome Frazee

Publication date: 1988

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348808837128

zbMATH Keywords

visualizationsubstitutionsbinary truth functions

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (1)

A new symbolic representation for the algebra of sets

Cites Work

• Unnamed Item
• Cross-Examining Propositional Calculus and Set Operations
• A new symbolism for the propositional calculus
• Ideographic computation in the propositional calculus

This page was built for publication: A new symbolic representation of the basic truth-functions of the propositional calculus