An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (One intermediate revision by one other user not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| 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 18: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
