The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Remark on intuitionistic fuzzy logic and intuitionistic logic.”

Hypersequents and fuzzy logic.

Dov Gabbay, George Metcalfe, Nicola Olivetti (2004)

RACSAM

Similarity:

Fuzzy logics based on t-norms and their residua have been investigated extensively from a semantic perspective but a unifying proof theory for these logics has, until recently, been lacking. In this paper we survey results of the authors and others which show that a suitable proof-theoretic framework for fuzzy logics is provided by hypersequents, a natural generalization of Gentzen-style sequents. In particular we present hypersequent calculi for the logic of left-continuous t-norms...

A note on paracomplete logic

Newton C. A. da Costa, Diego Marconi (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.

A note on paracomplete logic

Newton C. A. da Costa, Diego Marconi (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.

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.

Validation sets in fuzzy logics

Rostislav Horčík, Mirko Navara (2002)

Kybernetika

Similarity:

The validation set of a formula in a fuzzy logic is the set of all truth values which this formula may achieve. We summarize characterizations of validation sets of S -fuzzy logics and extend them to the case of R -fuzzy logics.