9 found
Order:
  1.  15
    Löwenheim–Skolem Theorems for Non-Classical First-Order Algebraizable Logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.
  2.  22
    On the Existence of Free Models in Fuzzy Universal Horn Classes.Vicent Costa & Pilar Dellunde - 2017 - Journal of Applied Logic 23:3-15.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  6
    The Logical Style Painting Classifier Based on Horn Clauses and Explanations.Vicent Costa, Pilar Dellunde & Zoe Falomir - 2021 - Logic Journal of the IGPL 29 (1):96-119.
    This paper presents a logical Style painting classifier based on evaluated Horn clauses, qualitative colour descriptors and Explanations. Three versions of $\ell $-SHE are defined, using rational Pavelka logic, and expansions of Gödel logic and product logic with rational constants: RPL, $G$ and $\sqcap $, respectively. We introduce a fuzzy representation of the more representative colour traits for the Baroque, the Impressionism and the Post-Impressionism art styles. The $\ell $-SHE algorithm has been implemented in Swi-Prolog and tested on 90 paintings (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  19
    Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
  5.  47
    On Elementary Equivalence in Fuzzy Predicate Logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  4
    The Theory of Modules of Separably Closed Fields 2.Pilar Dellunde, Françoise Delon & Françoise Point - 2004 - Annals of Pure and Applied Logic 129 (1-3):181-210.
    In Dellunde et al. 997–1015), we determined the complete theory Te of modules of separably closed fields of characteristic p and imperfection degree e, eω{∞}. Here, for 0≠eω, we describe the closed set of the Ziegler spectrum corresponding to Te. Further, we establish a correspondence between certain submodules and n-types and we investigate several notions of dimensions and their relationships with the Lascar rank. Finally, we show that Te has uniform p.p. elimination of imaginaries and deduce uniform weak elimination of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  71
    Syntactic Characterizations of First-Order Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.
    This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. A Finitary 1-Equivalential Logic Not Finitely Equivalential.Pilar Dellunde - 1995 - Bulletin of the Section of Logic 24 (3):120-122.
     
    Export citation  
     
    Bookmark   5 citations  
  9. A Defeasible Reasoning Model of Inductive Concept Learning From Examples and Communication.Santiago Ontañón, Pilar Dellunde, Lluís Godo & Enric Plaza - 2012 - Artificial Intelligence 193:129-148.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation