An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q482532 |
||
| Property / reviewed by | |||
| Property / reviewed by: Louis F. Goble / rank | |||
Revision as of 07:44, 15 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatization of the finite-valued Łukasiewicz calculus |
scientific article |
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
