login

On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics

Czech Digital Mathematics Library (Institute of Mathematics CAS)Published 1 January 1990Open access
Vilém Novák
Citations72
View PDF

TL;DR

This is the first part of the extensive paper which presents the syntax and semantics of first-order fuzzy logic, and introduces the structure of truth values and some main properties of its.

Abstract

This is the first part of the extensive paper which presents the syntax and semantics of first-order fuzzy logic. We introduce the structure of truth values and present some main properties of its. Then the language of first-order fuzzy logic and its syntax and semantics are defined, and proved many theorems demonstrating their good properties. The concept of a fuzzy theory is defined and the main properties of fuzzy theories are presented including the problem of their consistency and completeness

Keywords

Computer Science