Proof of an Axiom of Lukasiewicz

DOI10.2307/1993085zbMath0085.24402OpenAlexW4233191308WikidataQ114589938 ScholiaQ114589938MaRDI QIDQ3256304

C. C. Chang

Publication date: 1958

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1993085

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Modeling sorites reasoning with adaptive fuzzy logic, Łukasiewicz and His Followers in Many-Valued Logic, On theories of random variables, Some notes concerning fuzzy logics, The semiring-theoretic approach to MV-algebras: a survey, Basic algebras, logics, trends and applications, Algebraic Analysis of Many Valued Logics, Set of support, demodulation, paramodulation: a historical perspective, A note on minimal axiomatisations of some extensions of MTL