Search
Results
the forall x homepage
Open Logic Project | Open Source, Customizable, Advanced Logic Text
Cse371, Math371 LOGIC
Automated Theorem Proving, Prolegomena on Propositional Logic
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
Logic, Explainability and the Future of Understanding—Stephen Wolfram Blog
[https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/] - - 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