Search

Results

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 -

Follow Tags

verify - Please Log In To follow this tag
Axiom - Please Log In To follow this tag
Math - Please Log In To follow this tag

Export:

JSON XML RSS

yabs.io

Yet Another Bookmarks Service

Search

Results

lo.logic - What is the Complete Set of Shortest Axioms of Classical Conditional-Negation Propositional Calculus? - MathOverflow

Follow Tags

Export: