An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q3856744 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The deduction theorem for Lukasiewicz many-valued propositional calculi / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3325691 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Fragments of Many-Valued Statement Calculi / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A method of axiomatization of Lukasiewicz logics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Beiträge zum Metaaussagenkalkül I / rank | |||
Normal rank | |||
Latest revision as of 19:28, 18 June 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
