The completeness of the factor semantics for Łukasiewicz's infinite- valued logics (Q1208120)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The completeness of the factor semantics for Łukasiewicz's infinite- valued logics |
scientific article; zbMATH DE number 165917
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The completeness of the factor semantics for Łukasiewicz's infinite- valued logics |
scientific article; zbMATH DE number 165917 |
Statements
The completeness of the factor semantics for Łukasiewicz's infinite- valued logics (English)
0 references
16 May 1993
0 references
This paper considers a factor set of countable \(T\)-\(F\)-sequences for which the number of occurrences of \(T\) or \(F\) is finite, as a model of the Łukasiewicz's infinite-valued logics. The completeness of this factor semantics is proven using Wajsberg algebras and symmetrical Heyting monoids.
0 references
factor set
0 references
Łukasiewicz's infinite-valued logics
0 references
completeness
0 references
factor semantics
0 references
Wajsberg algebras
0 references
symmetrical Heyting monoids
0 references
