An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 03:14, 31 January 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
