Showing 2022Show all
3 papers · 1 filter
math.LO2022
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…
math.LO2022
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…
math.LO2022
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}_{ωω…