A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Normal forms in infinite-valued logic: The case of one variablePublished by Springer Nature ,2005
- Interpretation of AF C∗-algebras in Łukasiewicz sentential calculusJournal of Functional Analysis, 1986
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958