More proofs of an axiom of Lukasiewicz
Slaney, John K
This paper reports results and some new problems in one of the domains to which automatic first-order theorem provers have been most successfully applied: axiomatics of nonclassical propositional logics. It is well known that one of the standard axioms of the denumerable-valued pure implication logic of Łukasiewicz becomes derivable from the remainder in the presence of negation. Here it is shown that the same axiom is similarly derivable using conjunction and disjunction instead of negation....[Show more]
|01_Slaney_More_proofs_of_an_axiom_of_2002.pdf||69.08 kB||Adobe PDF|| Request a copy|
|02_Slaney_More_proofs_of_an_axiom_of_2002.pdf||69.08 kB||Adobe PDF|| Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.