Fuzzy propositional logic
type: Item
instance of: scholarly article
title: Fuzzy propositional logic
zbMATH Open document ID: 0797.03016
DOI: 10.1016/0165-0114(93)90284-O
published in: Fuzzy Sets and Systems
publication date: 1994-04-19T00:00:00Z
review text: From the article: The fuzzy propositional logic (FPL) described in the article presents a new alternative approach to thinking about such notions as proposition, interpretation, inference. This logic generalizes classical propositional logic in two directions: (i) propositions are considered to be fuzzy, and (ii) logical variables are considered to be many-valued. Formulas of FPL are constructed from elementary propositions and interpreted over the universe, i.e., the Cartesian product of the sets of the values of all variables. The main inference rule in FPL is a fuzzy resolution which generalizes properties of traditional resolution.
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 550095
zbMATH Keywords: fuzzy propositional logic
zbMATH Keywords: fuzzy resolution
author: Alexandr A. Savinov
reviewed by: Satoshi Miura
MaRDI profile type: Publication
cites work: Q3914961
cites work: Some properties of fuzzy logic
cites work: The Specialization of Programs by Theorem Proving
cites work: Fuzzy Logic and the Resolution Principle
cites work: Matrix representation of fuzzy predicates and its application in expert systems
full work available at URL: 0165-0114(93)90284-o
OpenAlex ID: W2089786480
description: scientific article; zbMATH DE number 550095