Mathematical Logic Quarterly 53 (1):66-77 (2007)
| Abstract |
Witnessed models of fuzzy predicate logic are models in which each quantified formula is witnessed, i.e. the truth value of a universally quantified formula is the minimum of the values of its instances and similarly for existential quantification. Systematic theory of known fuzzy logics endowed with this semantics is developed with special attention paid to problems of arithmetical complexity of sets of tautologies and of satisfiable formulas.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.200610027 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Three Complexity Problems in Quantified Fuzzy Logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
On the Predicate Logics of Continuous T-Norm BL-Algebras.Franco Montagna - 2005 - Archive for Mathematical Logic 44 (1):97-114.
On Interplay of Quantifiers in Gödel-Dummett Fuzzy Logics.Blanka Kozlíková & Vítězslav Švejdar - 2006 - Archive for Mathematical Logic 45 (5):569-580.
Citations of this work BETA
Löwenheim–Skolem Theorems for Non-Classical First-Order Algebraizable Logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.
On Elementary Equivalence in Fuzzy Predicate Logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics.Petr Häjek - 2010 - Mathematical Logic Quarterly 56 (2):171-174.
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.Matteo Bianchi & Franco Montagna - 2015 - Studia Logica 103 (6):1163-1181.
Strict Core Fuzzy Logics and Quasi-Witnessed Models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
View all 7 citations / Add more citations
Similar books and articles
On Witnessed Models in Fuzzy Logic II.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (6):610-615.
Strict Core Fuzzy Logics and Quasi-Witnessed Models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics.Petr Häjek - 2010 - Mathematical Logic Quarterly 56 (2):171-174.
On Elementary Equivalence in Fuzzy Predicate Logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Many-Valued Logic and Fuzzy Logic.Petr Hajek - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
Fuzzy Logic and Fuzzy Control: Ijcai '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991 : Proceedings. [REVIEW]Dimiter Driankov, Peter W. Eklund & Anca L. Ralescu - 1994 - Springer.
Completeness with Respect to a Chain and Universal Models in Fuzzy Logic.Franco Montagna - 2011 - Archive for Mathematical Logic 50 (1-2):161-183.
Birkhoff Variety Theorem and Fuzzy Logic.Radim Bělohlávek - 2003 - Archive for Mathematical Logic 42 (8):781-790.
A Type of Fuzzy Ring.Hacı Aktaş & Naim Çağman - 2007 - Archive for Mathematical Logic 46 (3-4):165-177.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Fuzzy Sets, Fuzzy Logic, Fuzzy Methods with Applications.Hans Bandemer & Siegfried Gottwald - 1995 - John Wiley & Son.
Analytics
Added to PP index
2016-02-04
Total views
11 ( #849,027 of 2,499,060 )
Recent downloads (6 months)
1 ( #419,059 of 2,499,060 )
2016-02-04
Total views
11 ( #849,027 of 2,499,060 )
Recent downloads (6 months)
1 ( #419,059 of 2,499,060 )
How can I increase my downloads?
Downloads
