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

DOI10.1080/01445348808837128zbMATH Open0652.03006OpenAlexW2058405326WikidataQ58356826 ScholiaQ58356826MaRDI QIDQ3797155FDOQ3797155

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

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

zbMATH Keywords

visualizationsubstitutionsbinary truth functions

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites Work

• Title not available (Why is that?)
• Cross-Examining Propositional Calculus and Set Operations
• A new symbolism for the propositional calculus
• 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
• Title not available (Why is that?)
• The iota-delta function as an alternative to Boolean formalism
• Title not available (Why is that?)

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)