The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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.
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.
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...
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 -fuzzy logics and extend them to the case of -fuzzy logics.
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.
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.
Vilém Novák (1996)
Acta Mathematica et Informatica Universitatis Ostraviensis
Similarity:
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.