Article contents
Pure denumerable Łukasiewiczian implication
Published online by Cambridge University Press: 12 March 2014
Extract
In [1], McCall and I offered an axiomatization of the implicational fragment of the 3-valued Łukasiewiczian system defined in [2]. The following axiom schemata sufficed, together with the rule of modus ponens.1
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1997
References
- 4
- Cited by