Super-Łukasiewicz propositional logics
- 1 December 1981
- journal article
- research article
- Published by Cambridge University Press (CUP) in Nagoya Mathematical Journal
- Vol. 84, 119-133
- https://doi.org/10.1017/s0027763000019577
Abstract
In [8] (1920), Łukasiewicz introduced a 3-valued propositional calculus with one designated truth-value and later in [9], Łukasiewicz and Tarski generalized it to an m-valued propositional calculus (where m is a natural number or ) with one designated truth-value.Keywords
This publication has 6 references indexed in Scilit:
- Completeness of two theories on ordered abelian groups and embedding relationsNagoya Mathematical Journal, 1980
- Super-Łukasiewicz implicational logicsNagoya Mathematical Journal, 1978
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958
- The Degree of Completeness of the ℵ0 -Valued Łukasiewicz Propositional CalculusJournal of the London Mathematical Society, 1953
- Beiträge zum Metaaussagenkalkül IMonatshefte für Mathematik, 1935