Access the full text.
Sign up today, get DeepDyve free for 14 days.
F. Esteva, L. Godo (2001)
Monoidal t-norm based logic: towards a logic for left-continuous t-normsFuzzy Sets Syst., 124
such that (B 1 , M 1 ) and (B 2 , M 2 ) are elementarily mapped into
P. Hájek (1998)
Metamathematics of Fuzzy Logic, Trends in Logic—Studia Logica Library, 4
B , M (cid:93) ) is the expansion of ( B , M (cid:48) ) to the language Γ ( B , M ) , by interpreting for each b ∈ B , the truth constant symbol P b by b
P. Hájek (2007)
On witnessed models in fuzzy logic IIMathematical Logic Quarterly, 53
S. Jenei, F. Montagna (2002)
A Proof of Standard Completeness for Esteva and Godo's Logic MTLStudia Logica, 70
A. Tarski, R. Vaught (1958)
Arithmetical extensions of relational systemsCompositio Mathematica, 13
P. Cintula, F. Esteva, J. Gispert, L. Godo, F. Montagna, C. Noguera (2009)
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalenciesAnn. Pure Appl. Log., 160
A. Nola, B. Gerla (1986)
Fuzzy Models of First Order LanguagesMath. Log. Q., 32
A. Tarski (1935)
Der Wahrheitsbegriff in den formalisierten Sprachen
R. Belohlávek (2002)
Fuzzy Relational Systems: Foundations and Principles
P. Hájek (2005)
Making fuzzy description logic more generalFuzzy Sets Syst., 154
C.C. Chang, H.J. Keisler (1990)
Model Theory, Studies in Logic, 73
H. Rasiowa (1974)
An Algebraic Approach to Non-classical Logics
Chen Chang, H. Keisler (1966)
Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics
H. Rasiowa, R. Sikorski (1963)
The Mathematics of the Metamathematics
P. Hájek (2007)
On witnessed models in fuzzy logicMathematical Logic Quarterly, 53
The Full Diagram of ( B , M ) , denoted by FDIAG( B , M ) , is the set of all Γ ( B , M ) - sentences true in ( B , M (cid:93) )
F. Montagna (2006)
Interpolation and Beth's property in propositional many-valued logics: A semantic investigationAnn. Pure Appl. Log., 141
P. Cintula, P. Hájek (2006)
On theories and models in fuzzy predicate logicsJournal of Symbolic Logic, 71
P. Hájek (1998)
Metamathematics of Fuzzy Logic, 4
H. Rasiowa, R. Sikorski (1963)
The mathematics of metamathematics
Lind T is an L-chain
L. Behounek, P. Cintula (2006)
From fuzzy logic to fuzzy mathematics: A methodological manifestoFuzzy Sets Syst., 157
(1986)
The category of the fuzzy models and Löwenheim-Skolem theorem
P. Cintula, P. Hájek (2010)
Triangular norm based predicate fuzzy logicsFuzzy Sets Syst., 161
M. Laskowski, Shirin Malekpour (2007)
Provability in predicate product logicArchive for Mathematical Logic, 46
(1999)
Mathematical Principles of Fuzzy Logic, The Kluwer International Series in Engineering and Computer Science, 517
Γ ( B , M ) is the expansion of Γ M by adding a truth constant P b , for each b ∈ B
R. Cignoli, F. Esteva, L. Godo, A. Torrell (2000)
Basic Fuzzy Logic is the logic of continuous t-norms and their residuaSoft Computing, 4
Pilar Dellunde, F. Esteva (2010)
On Elementary Extensions in Fuzzy Predicate Logics
Marco Cerami, F. Esteva (2011)
Strict core fuzzy logics and quasi-witnessed modelsArchive for Mathematical Logic, 50
(2002)
P a k ) such that B | δ(b 1
Pilar Dellunde (2012)
Preserving mappings in fuzzy predicate logicsJ. Log. Comput., 22
C. Mann (2003)
Fuzzy Relational Systems: Foundations and PrinciplesKybernetes, 32
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863–880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log 71(3):863–880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625–641, 2011) to non-exhaustive models.
Archive for Mathematical Logic – Springer Journals
Published: Sep 26, 2012
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.