An axiomatization of the finite-valued ?ukasiewicz calculus
- 1 March 1988
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 47 (1) , 49-55
- https://doi.org/10.1007/bf00374052
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A method of axiomatization of Łukasiewicz logicsStudia Logica, 1974
- On matrix representations of consequence operations of Łlukasiewicz's sentential calculiMathematical Logic Quarterly, 1973
- The deduction theorem for Łukasiewicz many-valued propositional calculiStudia Logica, 1964
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958
- Beiträge zum Metaaussagenkalkül IMonatshefte für Mathematik, 1935