The completeness of the factor semantics for Łukasiewicz's infinite- valued logics
type: Item
instance of: scholarly article
title: The completeness of the factor semantics for Łukasiewicz's infinite- valued logics
zbMATH Open document ID: 0776.03008
DOI: 10.1007/BF01053068
author: Vladimir L. Vasyukov
published in: Studia Logica
publication date: 1993-05-16T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 165917
zbMATH Keywords: factor set
zbMATH Keywords: Łukasiewicz's infinite-valued logics
zbMATH Keywords: completeness
zbMATH Keywords: factor semantics
zbMATH Keywords: Wajsberg algebras
zbMATH Keywords: symmetrical Heyting monoids
reviewed by: Albert Hoogewijs
MaRDI profile type: Publication
cites work: Algebraic Analysis of Many Valued Logics
cites work: Q4077984
cites work: An Interpretation of Many-Valued Logic
full work available at URL: https://doi.org/10.1007/bf01053068
OpenAlex ID: W1973472163
description: scientific article; zbMATH DE number 165917