Displaying similar documents to “A note on paracomplete logic”

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.

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...

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.

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.

The limits of fuzzy logic.

Juan Luis Castro (1999)

Mathware and Soft Computing

Similarity:

In this paper we try to answer the following questions: What can be made by applying fuzzy logic? and What can not be made by applying fuzzy logic? The question will be analyzed from both a theoretical and an applied point of view. A (partial) answer will be given for three topics: a) as calculus procedure b) as reasoning mechanism and c) as engineering tool.