Independent Axioms for Infinite-Valued Logic
Autor: | Atwell R. Turquette |
---|---|
Rok vydání: | 1963 |
Předmět: | |
Zdroj: | Journal of Symbolic Logic. 28:217-221 |
ISSN: | 1943-5886 0022-4812 |
Popis: | Recent interest in Łukasiewicz' Lℵ0, raises the question whether this axiomatic system can be simplified [2]. It is known that Łukasiewicz' fourth axiom CCCPQCQPCQP is dependent [4] p. 51. The axiomatic system resulting from deleting the fourth axiom from Lℵ0 will be shown to be “minimal” in the sense that the axioms and rules of inference are mutually independent; consequently, no further simplification of Lℵ0, is possible. By switching basic operators, however, simplified modifications of Lℵ0, can be constructed. |
Databáze: | OpenAIRE |
Externí odkaz: |