Xavier Caicedo

发表

On extensions of Lωω(Q1)

Xavier Caicedo, 1981, Notre Dame J. Formal Log..

Implicit connectives of algebraizable logics

Xavier Caicedo, 2004, Stud Logica.

Definability properties and the congruence closure

Xavier Caicedo, X. Caicedo, 1990, Arch. Math. Log..

Standard Gödel Modal Logics

Xavier Caicedo, Ricardo Oscar Rodríguez, X. Caicedo, 2010, Stud Logica.

Omitting uncountable types and the strength of [0, 1]-valued logics

Xavier Caicedo, José Iovino, 2014, Ann. Pure Appl. Log..

Lindström's Theorem for Positive Logics, a Topological View

Xavier Caicedo, X. Caicedo, 2015, Logic Without Borders.

Equivalence and quantifier rules for logic with imperfect information

Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen, 2009, Log. J. IGPL.

A simple solution to Friedman's fourth problem

Xavier Caicedo, X. Caicedo, 1986, Journal of Symbolic Logic.

Compactness and Normality in Abstract Logics

Xavier Caicedo, 1993, Ann. Pure Appl. Log..

The One-Variable Fragment of Corsi Logic

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, 2019, WoLLIC.

Syntactical Content of Finite Approximations of Partial Algebras

Xavier Caicedo, Francesc Rosselló, Wiktor Bartol, 1998, Rough Sets and Current Trends in Computing.

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)

Xavier Caicedo, Lawrence S. Moss, Maricarmen Martinez, 2019, Log. J. IGPL.

Meeting of the Association for Symbolic Logic, Bogotá, Colombia, 1981

Xavier Caicedo, Newton C. A. da Costa, Rolando Chuaqui, 1983, Journal of Symbolic Logic.

An algebraic approach to intuitionistic connectives

Xavier Caicedo, Roberto Cignoli, R. Cignoli, 2001, Journal of Symbolic Logic.

Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983

Xavier Caicedo, Newton C. A. da Costa, Rolando Chuaqui, 1984, J. Symb. Log..

Decidability of Order-Based Modal Logics

Xavier Caicedo, George Metcalfe, Jonas Rogger, 2016 .

Definability and automorphisms in abstract logics

Xavier Caicedo, X. Caicedo, 2004, Arch. Math. Log..

Bi-modal Gödel logic over [0, 1]-valued Kripke frames pdf

Xavier Caicedo, Ricardo Oscar Rodríguez, X. Caicedo, 2011, J. Log. Comput..

Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic

Xavier Caicedo, 2006, Algebraic and Proof-theoretic Aspects of Non-classical Logics.

Every minimal dual discriminator variety is minimal as a quasivariety

Xavier Caicedo, Pedro Sánchez Terraf, Keith A. Kearnes, 2021, Algebra universalis.

One-variable fragments of intermediate logics over linear frames

Xavier Caicedo, George Metcalfe, Olim Tuyt, 2021, Inf. Comput..

The Abstract Compactness Theorem Revisited

Xavier Caicedo, X. Caicedo, 1999 .

Models, Algebras, and Proofs Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá

Xavier Caicedo, Carlos H. Montenegro, 1999 .

Hilbert’s ε-Symbol in the Presence of Generalized Quantifiers

Xavier Caicedo, X. Caicedo, 1995 .

A Godel Modal Logic

Xavier Caicedo, Ricardo Oscar Rodriguez, X. Caicedo, 2009, 0903.2767.

Continuous Operations on Spaces of Structures

Xavier Caicedo, X. Caicedo, 1995 .

Rodriguez Standard Gödel Modal Logics

Xavier Caicedo, O. Ricardo, .

Failure of interpolation for quantifiers of monadic type

Xavier Caicedo, X. Caicedo, 1985 .