Independent Axioms for Infinite-Valued Logic

Autor:	Atwell R. Turquette
Rok vydání:	1963
Předmět:	Predicate logic Algebra Philosophy Logic Substructural logic Peano axioms Many-valued logic Dynamic logic (modal logic) Intuitionistic logic Intermediate logic Higher-order logic Mathematics
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:	https://explore.openaire.eu/search/publication?articleId=doi_________::7a872458499e325f8f856e12f8af8b00 https://doi.org/10.2307/2271067 Zobrazit plný text záznamu