Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

IPMU
2010
Springer

favoriteEmaildiscussreport

131views Information Technology» more IPMU 2010»

On Elementary Extensions in Fuzzy Predicate Logics

13 years 6 months ago

On Elementary Extensions in Fuzzy Predicate Logics

Download www.iiia.csic.es

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].

Pilar Dellunde, Francesc Esteva

Real-time Traffic

Elementary Equivalence | Elementary Extensions | Fuzzy Predicate Logics | Information Management | IPMU 2010 |

claim paper

Related Content

» Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive ...

» Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Technique...

» Extended possibilistic truth values

» Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Prog...

» In Defense of PDDL Axioms

» InclusionBased Approximate Reasoning

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2010
Where	IPMU
Authors	Pilar Dellunde, Francesc Esteva

Comments (0)