Article contents
Pure three-valued Łukasiewiczian implication
Published online by Cambridge University Press: 12 March 2014
Extract
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:
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1996
References
- 3
- Cited by