4 citations · 12 across the 19 of their papers we have counts for
6 papers · 1 filter
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…
A Lindström theorem for intuitionistic propositional logic
Guillermo Badia, Grigory Olkhovikov
It is shown that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain topological property reminiscent of compac…
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…
On elimination of quantifiers in some non-classical mathematical theories
Guillermo Badia, Andrew Tedder
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logica…
Infinitary propositional relevant languages with absurdity
Guillermo Badia
Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant log…
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…