Article contents
Independence of Rose's axioms for m-valued implication
Published online by Cambridge University Press: 12 March 2014
Extract
Rose has shown in [2] that the following axioms are sufficient, with modus ponens, for m-valued Łukasiewiczian implication.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1969
References
- 3
- Cited by