An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An axiomatization of the finite-valued Łukasiewicz calculus |
scientific article; zbMATH DE number 4072930
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatization of the finite-valued Łukasiewicz calculus |
scientific article; zbMATH DE number 4072930 |
Statements
An axiomatization of the finite-valued Łukasiewicz calculus (English)
0 references
1988
0 references
This paper presents a tidy approximation of the finite-valued Łukasiewicz logics. These are then proved to be complete with respect to their matrices through the use of Lindenbaum algebras. The formulations given are simpler than others in the literature.
0 references
approximation of the finite-valued Łukasiewicz logics
0 references
Lindenbaum algebras
0 references
