More proofs of an axiom of Łukasiewicz

DOI10.1023/A:1020541318160zbMath1016.03014OpenAlexW2064277412MaRDI QIDQ1869612

John K. Slaney

Publication date: 28 April 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020541318160

zbMATH Keywords

many-valued logicsubstructural logicautomated theorem provingaxiomatics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ (Dual) Hoops Have Unique Halving

This page was built for publication: More proofs of an axiom of Łukasiewicz