A method of axiomatization of Łukasiewicz logics
- 1 December 1974
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 33 (4) , 333-338
- https://doi.org/10.1007/bf02123373
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On matrix representations of consequence operations of Łlukasiewicz's sentential calculiMathematical Logic Quarterly, 1973
- A theorem about infinite-valued sentential logicThe Journal of Symbolic Logic, 1951