On witnessed models in fuzzy logic

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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,049
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Fuzzy Logic and Arithmetical Hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
On the Predicate Logics of Continuous T-Norm BL-Algebras.Franco Montagna - 2004 - Archive for Mathematical Logic 44 (1):97-114.

Add more references

Citations of this work BETA

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.
Strict Core Fuzzy Logics and Quasi-Witnessed Models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
Some (Non)Tautologies of Łukasiewicz and Product Logic.Petr Hájek - 2010 - Review of Symbolic Logic 3 (2):273-278.

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.
Monadic Fuzzy Predicate Logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Many-Valued Logic and Fuzzy Logic.Petr Hajek - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
Fuzzy Logic and Arithmetical Hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
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.

Analytics

Added to PP index
2016-02-04

Total views
5 ( #1,008,558 of 2,260,175 )

Recent downloads (6 months)
1 ( #905,492 of 2,260,175 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature