Super-Łukasiewicz implicational logics
- 1 December 1978
- journal article
- research article
- Published by Cambridge University Press (CUP) in Nagoya Mathematical Journal
- Vol. 72, 127-133
- https://doi.org/10.1017/s0027763000018249
Abstract
In the traditional study of Łukasiewicz propositional logic, the finite-valued or infinite-valued linearly ordered model exists at the start, and then the axiomatization of the set of all formulas valid in its model are studied. On the other hand, we are in a point of view such that the set of provable formulas is important and models are no more than means to characterize the set.Keywords
This publication has 1 reference indexed in Scilit:
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958