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

DOI10.1080/01445348808837128MaRDI QIDQ3797155zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Binary predicates as representations of Boolean logic objects.
• scientific article; zbMATH DE number 3855057
• scientific article; zbMATH DE number 3173697
• Binary functions and their applications
• scientific article; zbMATH DE number 3932377

Cites work

• scientific article; zbMATH DE number 3614739 (Why is no real title available?)
• A new symbolism for the propositional calculus
• Cross-Examining Propositional Calculus and Set Operations
• Ideographic computation in the propositional calculus

Cited in

(6)

• A new symbolic representation for the algebra of sets
• Binary predicates as representations of Boolean logic objects.
• New representations of modal functions
• scientific article; zbMATH DE number 3855057 (Why is no real title available?)
• scientific article; zbMATH DE number 3932377 (Why is no real title available?)
• The iota-delta function as an alternative to Boolean formalism

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3797155)