#### Filter Results:

- Full text PDF available (34)

#### Publication Year

1996

2017

- This year (1)
- Last five years (11)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Pilar Dellunde, Ramon Jansana
- J. Symb. Log.
- 1996

Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Each copy of any part of a JSTOR transmission must contain the same copyright notice that… (More)

- Enrique Casanovas, Pilar Dellunde, Ramon Jansana
- Notre Dame Journal of Formal Logic
- 1996

This paper is a contribution to the study of equality-free logic, that is, first-order logic without equality. We mainly devote ourselves to the study of algebraic characterizations of its relation of elementary equivalence by providing some Keisler-Shelah type ultrapower theorems and an Ehrenfeucht-Fra¨ıssé type theorem. We also give characterizations of… (More)

- Pilar Dellunde
- Logic Journal of the IGPL
- 1999

In this article I prove preservation theorems for the positive and for the universal-existential fragment of equality-free logic. I give a systematic presentation of the method of diagrams for first-order languages without equality.

- Pilar Dellunde, Lluis Godo, Enrico Marchioni
- ECSQARU
- 2009

In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted… (More)

- Pilar Dellunde, Francesc Esteva
- IPMU
- 2010

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… (More)

- Pilar Dellunde
- J. Log. Comput.
- 2012

- Pilar Dellunde, Lluis Godo, Enrico Marchioni
- Int. J. Approx. Reasoning
- 2011

In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics are built over a restricted language, namely a two level language composed of… (More)

- Sindhu Joseph, Carles Sierra, Marco Schorlemmer, Pilar Dellunde
- Logic Journal of the IGPL
- 2010

This paper is a contribution to the formalisation of Thagard's coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, orderly, and aesthetically consistent relationship of parts. A coherent set is interdependent such that every element in it contributes to the coherence. We take Thagard's proposal of a… (More)

- Pere Pardo, Sergio Pajares, Eva Onaindia, Lluis Godo, Pilar Dellunde
- AAMAS
- 2011

This contribution proposes a model for argumentation-based multi-agent planning, with a focus on cooperative scenarios. It consists in a multi-agent extension of DeLP-POP, partial order planning on top of argumentation-based defeasible logic programming. In DeLP-POP, actions and arguments (combinations of rules and facts) may be used to enforce some goal,… (More)

- Pilar Dellunde
- Studia Logica
- 2000