Many-valued Logics

On elementary equivalence in Fuzzy Predicate Logics

Tipo de Publicación:

Journal Article

Autores:

Pilar Dellunde; Francesc Esteva

Origen:

Archive for Mathematical Logic, Springer-Verlag, Volumen52, p.1-17 (2013)

Palabras clave:

Mathematical Logic and Foundations; Model Theory; Fuzzy Predicate Logics; Elementary Extensions; Witnessed Models; Quasi-witnessed Models

Resumen:

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. Re ning the method of diagrams we give a solution
to an open problem of P. Hajek and P. Cintula (Conjectures 1 and 2 of [HaCi06]).
We investigate also the properties of elementary extensions in witnessed and quasiwitnessed
theories, generalizing some results of Section 7 of [HaCi06] and of Section 4
of [CeEs11] to non-exhaustive models.

Many-valued Semantics for Vague Counterfactuals

Tipo de Publicación:

Book Chapter

Autores:

Marco Cerami; Pere Pardo

Origen:

Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives, College Publications, Número36, p.341-362 (2011)

Palabras clave:

Many-valued Logics; Counterfactuals

First-order SMTL Logic and quasi-witnessed models

Tipo de Publicación:

Conference Paper

Autores:

Marco Cerami; Francesc Esteva

Origen:

XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010, Huelva, p.145-150 (2010)

From Classical Description Logic to n-graded Fuzzy Description logics

Tipo de Publicación:

Conference Paper

Autores:

Angel García-Cerdaña; Marco Cerami; Francesc Esteva

Origen:

FUZZ-IEEE2010, IEEE, Barcelona, p.1506-1513. (2010)

Fuzzy Description Logics and t-norm based Fuzzy Logics

Tipo de Publicación:

Journal Article

Autores:

Angel García-Cerdaña; Eva Armengol; Francesc Esteva

Origen:

International Journal of Approximate reasoning, Elsevier, Volumen51, Ejemplar6, p.632 -- 655 (2010)

Palabras clave:

Description Logics; Fuzzy Description Logics; Many-valued Logics; Propositional and Predicate t-norm based Fuzzy Logics; Truth-constantsReceived 22 May 2009

Resumen:

Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for
dealing with vague concepts, commonly present in real applications. Ha?jek proposed to
deal with FDLs taking as basis t-norm based fuzzy logics with the aim of enriching the
expressive possibilities in FDLs and to capitalize on recent developments in the field of
Mathematical Fuzzy Logic. From this perspective we define a family of description lan-
guages, denoted by
ALC

Distribuir contenido