Axioms for a theory of semantic equivalence
type: Item
instance of: scholarly article
title: Axioms for a theory of semantic equivalence
zbMATH Open document ID: 0626.03015
DOI: 10.1016/0165-0114(87)90133-3
author: Daniel G. Schwartz
published in: Fuzzy Sets and Systems
publication date: 1987-01-01T00:00:00Z
review text: Using an uncountable first order language the author considers a propositional fragment of a many-valued logic with min, max, 1-... for conjunction, disjunction and negation, with truth value set the real interval [0,1] and constants for each truth value of [0,1], with an additional two-valued (!) binary predicate for semantic equivalence, with predicate symbols, individual variables and with symbols for modifiers in the sense this notion is used by L. A. Zadeh in connection with linguistic variables. The semantics, in a natural way, is provided by fuzzy sets. The author gives an axiomatization of the set of all true semantic equivalences which he proves to be complete. Unfortunately, only the propositional level is discussed, and only min, max are used for interpreting conjunction and disjunction.
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03E72
zbMATH DE Number: 4016866
zbMATH Keywords: hedges
zbMATH Keywords: many-valued logic
zbMATH Keywords: semantic equivalence
zbMATH Keywords: linguistic variables
Wikidata QID: Q114684170
reviewed by: Siegfried J. Gottwald
MaRDI profile type: Publication
full work available at URL: 0165-0114(87)90133-3
OpenAlex ID: W2026733277
cites work: On the analytic formalism of the theory of fuzzy sets
cites work: Q4161300
cites work: Foundations of fuzzy reasoning
cites work: The axiom of choice
cites work: Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
cites work: Q5586197
cites work: An algebraic approach to non-classical logics
cites work: Q5734410
cites work: Q5537599
cites work: Q3253173
cites work: Fuzzy sets
cites work: The concept of a linguistic variable and its application to approximate reasoning. III
cites work: Fuzzy logic and approximate reasoning
cites work: PRUF—a meaning representation language for natural languages
cites work: Fuzzy sets as a basis for a theory of possibility
description: scientific article; zbMATH DE number 4016866