A Couple of Novelties in the Propositional Calculus

DOI10.1002/malq.19850310905zbMath0563.03004OpenAlexW2137834032MaRDI QIDQ3676116

C. A. R. Hoare

Publication date: 1985

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850310905

zbMATH Keywords

completenessnormal formsconditionalmajorityalgebraic propertiesdyadic operatorinfix formnegmajoritytriadic operator

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items

Evaluation Trees for Proposition Algebra ⋮ Unifying Theories of Programming with Monads ⋮ Compositional refinement in agent-based security protocols ⋮ An independent axiomatisation for free short-circuit logic ⋮ Non-commutative propositional logic with short-circuit evaluation