Abstract | ||
---|---|---|
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization
of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion,
the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counterexample to Conjectures 1 and
2 of [8].
|
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-14049-5_76 | Information Processing and Management of Uncertainty |
Keywords | Field | DocType |
elementary equivalence,model-theoretic study,so-called strong elementary equivalence,fuzzy predicate,elementary extension,equality-free fuzzy predicate logic,model theory | T-norm fuzzy logics,Discrete mathematics,Elementary equivalence,Fuzzy logic,Counterexample,Predicate (grammar),Model theory,Predicate (mathematical logic),Mathematics | Conference |
ISBN | Citations | PageRank |
3-642-14048-3 | 1 | 0.37 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |
Francesc Esteva | 2 | 1885 | 200.14 |