Representation of logic formulas by normal forms

Martina Daňková

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Representation of logic formulas by normal forms”

Truth and utility in fuzzy logic.

Alejandro Sobrino (1999)

Mathware and Soft Computing

Similarity:

The notion of degree of truth used in fuzzy logic can be interpreted in terms of partial truth or in terms of utility. By investigating how these interpretations fit in with Tarski's definition of truth, this paper explores some of their implications and their consequences for the foundations and credibility of fuzzy logic.

Algebraic analysis of LPC+Ch calculus

Esko Turunen (1995)

Kybernetika

Similarity:

Remark on intuitionistic fuzzy logic and intuitionistic logic.

Krassimir T. Atanassov (1995)

Mathware and Soft Computing

Similarity:

It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.

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

Vilém Novák (1990)

Kybernetika

Similarity:

How to make your logic fuzzy.

Dov M. Gabbay (1996)

Mathware and Soft Computing

Similarity:

The aim of this paper is to provide a methodology for turning a known crisp logic into a fuzzy system. We require of the methodology that it be meaningful in general terms, using processes which are independent of the notion of fuzziness, and that it yield a considerable number of known fuzzy systems.