An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q482532 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Louis F. Goble / rank | |||
Normal rank |
Revision as of 08: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