Skip navigation
Skip navigation

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]

CollectionsANU Research Publications
Date published: 2002
Type: Journal article
Source: Journal of Automated Reasoning
DOI: 10.1023/A:1020541318160


File Description SizeFormat Image
01_Slaney_More_proofs_of_an_axiom_of_2002.pdf69.08 kBAdobe PDF    Request a copy
02_Slaney_More_proofs_of_an_axiom_of_2002.pdf69.08 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator