Class-based Classical Propositional Logic

MaRDI QIDQ7361583FDO

Authors Matthew Doty

Publication date 15 December 2022

Cites work

• Don't eliminate cut
• Unnamed Publication
• Implicational formulas in intuitionistic logic
• Logic and structure
• On the algebra of logic. A contribution to the philosophy of notation.
• The origins of the use of the argument of trivialization in the twentieth century
• Untersuchungen über das logische Schliessen. I

Cited in

(1)

• Suppes' Theorem For Probability Logic

This page was built for software: Class-based Classical Propositional Logic