Pure three-valued Łukasiewiczian implication
- 2 September 1966
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 31 (3) , 399-405
- https://doi.org/10.2307/2270455
Abstract
The matrix defining Łukasiewicz's three-valued logic, constructed in 1920 and described at length in [1], is the following: This matrix was axiomatized in 1931 by Wajsberg (see [6]), who showed that the following axioms together with the rules of substitution and modus ponens were sufficient:Keywords
This publication has 3 references indexed in Scilit:
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958
- The dependence of an axiom of ŁukasiewiczTransactions of the American Mathematical Society, 1958
- Methoden zur Axiomatisierung beliebiger Aussagen‐ und PrädikatenkalküleMathematical Logic Quarterly, 1955