Xavier Caicedo

27 papers C 2Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Asymptotic Truth-Value Laws in Many-Valued Logics.
J. Symb. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2025 J jnl
Restricted analytic valued fields with partial exponentiation.
Arch. Math. Log.
Leonardo Ángel, Xavier Caicedo
2024 J jnl
Maximality of Logic without Identity.
J. Symb. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2023 J jnl
Frame definability in finitely valued modal logics.
Ann. Pure Appl. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2022 J jnl
One-variable fragments of intermediate logics over linear frames.
Inf. Comput.
Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt
2019 J jnl
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).
Log. J. IGPL
Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz
2019 C conf
The One-Variable Fragment of Corsi Logic.
WoLLIC
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt
2017 J jnl
Decidability of order-based modal logics.
J. Comput. Syst. Sci.
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
2015 J jnl
Bi-modal Gödel logic over [0, 1]-valued Kripke frames.
J. Log. Comput.
Xavier Caicedo, Ricardo Oscar Rodríguez
2015 — ch.
Lindström's Theorem for Positive Logics, a Topological View.
Logic Without Borders
Xavier Caicedo
2014 J jnl
Omitting uncountable types and the strength of [0, 1]-valued logics.
Ann. Pure Appl. Log.
Xavier Caicedo, José Iovino
2013 — conf
A Finite Model Property for Gödel Modal Logics.
TACL
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
2013 C conf
A Finite Model Property for Gödel Modal Logics.
WoLLIC
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
2011 J jnl
Bi-modal Gödel logic over [0,1]-valued Kripke frames
CoRR
Xavier Caicedo, Ricardo Oscar Rodríguez
2010 J jnl
Standard Gödel Modal Logics.
Stud Logica
Xavier Caicedo, Ricardo Oscar Rodríguez
2009 J jnl
Equivalence and quantifier rules for logic with imperfect information.
Log. J. IGPL
Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen
2006 — conf
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Xavier Caicedo
2004 J jnl
Definability and automorphisms in abstract logics.
Arch. Math. Log.
Xavier Caicedo
2004 J jnl
Implicit connectives of algebraizable logics.
Stud Logica
Xavier Caicedo
2001 J jnl
An Algebraic Approach to Intuitionistic Connectives.
J. Symb. Log.
Xavier Caicedo, Roberto Cignoli
1998 — conf
Syntactical Content of Finite Approximations of Partial Algebras.
Rough Sets and Current Trends in Computing
Wiktor Bartol, Xavier Caicedo, Francesc Rosselló
1993 J jnl
Compactness and Normality in Abstract Logics.
Ann. Pure Appl. Log.
Xavier Caicedo
1990 J jnl
Definability properties and the congruence closure.
Arch. Math. Log.
Xavier Caicedo
1986 J jnl
A Simple Solution to Friedman's Fourth Problem.
J. Symb. Log.
Xavier Caicedo
1984 J jnl
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983.
J. Symb. Log.
Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco
1983 J jnl
Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981.
J. Symb. Log.
Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa
1981 J jnl
On extensions of L
Notre Dame J. Formal Log.
Xavier Caicedo