9 citations · 16 across the 8 of their papers we have counts for
8 papers · 1 filter
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…
Restricted analytic valued fields with partial exponentiation
Leonardo Ángel, Xavier Caicedo
Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face…
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}_{ωω…
Metastable convergence and logical compactness
Xavier Caicedo, Eduardo Duenez, Jose Iovino
The concept of metastable convergence was identified by Tao;it allows converting theorems about convergence into stronger theorems about uniform convergence. The Uniform Metastabil…
Omitting uncountable types, and the strength of -valued logics
Xavier Caicedo, José Iovino
We study -valued logics that are closed under the Łukasiewicz-Pavelka connectives; our primary examples are the the continuous logic framework of Ben Yaacov and Usvyatsov \c…
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Xavier Caicedo, Ricardo Oscar Rodriguez
We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel alge…
A Godel Modal Logic
Xavier Caicedo, Ricardo Oscar Rodriguez
In this paper we consider an approach where both propositions and the accessibility relation are infinitely many-valued over Gödel algebras. In particular, we consider separately t…