Single axioms for BCI [https://web.ics.purdue.edu/~dulrich/BCI-page.htm] - 2021-02-22 15:36:54 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:573951 -
List of Hilbert systems - Wikipedia [https://en.wikipedia.org/wiki/List_of_Hilbert_systems] - 2019-11-21 14:19:49 - public:stevetao Axiom, Logical - 2 | id:272034 -
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] - 2019-11-06 17:19:46 - public:stevetao Axiom, Logic, Math, Math-Logic - 4 | id:271293 -
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] - 2019-11-06 17:18:08 - public:stevetao Axiom, Logic, Math, Math-Logic - 4 | id:271292 -
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] - 2018-12-02 15:46:10 - public:stevetao Axiom, Logic, Math, Math-Logic - 4 | id:229051 -
New Elegant Axiomatizations of Some Logics [http://fitelson.org/ar.html] - 2018-12-02 02:00:26 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:229045 -
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] - 2018-11-30 15:55:28 - public:stevetao Axiom, Logic, Math, Math-Logic, Prefix, Single-Axiom, Verify - 7 | id:226467 -
Web Pages Associated with Papers of William McCune [https://www.cs.unm.edu/~mccune/papers/] - 2018-11-29 19:41:41 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:226465 -
meredith - Metamath Proof Explorer [http://us.metamath.org/mpegif/meredith.html] - 2018-11-29 19:31:11 - public:stevetao Axiom, Logic, Math, Math-Logic, Meredith, Single-Axiom - 6 | id:226464 -
