9 papers
Superabelian logics
Petr Cintula, Filip Jankovec, Carles Noguera
This paper presents a unified algebraic study of a family of logics related to Abelian logic (Ab), the logic of Abelian lattice-ordered groups. We treat Ab as the base system and r…
Asymptotic truth-value laws in many-valued logics
Guillermo Badia, Xavier Caicedo, Carles Noguera
This paper studies which truth-values are most likely to be taken on finite models by arbitrary sentences of a many-valued predicate logic. We obtain generalizations of Fagin's cla…
New foundations of reasoning via real-valued first-order logics
Guillermo Badia, Ronald Fagin, Carles Noguera
Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in t…
Frame definability in finitely-valued modal logics
Guillermo Badia, Xavier Caicedo, Carles Noguera
In this paper we study frame definability in finitely-valued modal logics and establish two main results via suitable translations: (1) in finitely-valued modal logics one cannot d…
Maximality of logic without identity
Guillermo Badia, Xavier Caicedo, Carles Noguera
Lindström theorem obviously fails as a characterization of , first-order logic without identity. In this note we provide a fix: we show that $\mathcal{L}_{ωω…
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Guillermo Badia, Vicent Costa, Pilar Dellunde +1
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 syntacti…
Saturated Models in Mathematical Fuzzy Logic
Guillermo Badia, Carles Noguera
This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express propert…
Fraisse classes of graded relational structures
Guillermo Badia, Carles Noguera
We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of…
Solution of some problems in the arithmetical complexity of first-order fuzzy logics
Félix Bou, Carles Noguera
This short paper addresses the open problems left in a previous paper by Franco Montagna and Carles Noguera. Besides giving solutions to these two problems, some clarification conc…