Search
Results
Single axioms for BCI
List of Hilbert systems - Wikipedia
reference request - Axioms of Propositional Logic with as few negation axioms as possible - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/3260288/axioms-of-propositional-logic-with-as-few-negation-axioms-as-possible/3261156] - - public:stevetao
Why are there several axiom systems for propositional logic? - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/3230255/why-are-there-several-axiom-systems-for-propositional-logic] - - public:stevetao
logic - Why is this set {CqCpq, CCpCqrCCpqCpr, CCNpNqCqp} the most common set of axioms for propositional calculus? - Philosophy Stack Exchange
[https://philosophy.stackexchange.com/questions/1365/why-is-this-set-cqcpq-ccpcqrccpqcpr-ccnpnqcqp-the-most-common-set-of-axioms] - - public:stevetao
New Elegant Axiomatizations of Some Logics
lo.logic - What is the Complete Set of Shortest Axioms of Classical Conditional-Negation Propositional Calculus? - MathOverflow
[https://mathoverflow.net/questions/182338/what-is-the-complete-set-of-shortest-axioms-of-classical-conditional-negation-pr] - - public:stevetao