| 2006 |
|---|
| 9 | EE | Xavier Caicedo:
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.
Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 50-68 |
| 2004 |
|---|
| 8 | EE | Xavier Caicedo:
Definability and automorphisms in abstract logics.
Arch. Math. Log. 43(8): 937-946 (2004) |
| 7 | EE | Xavier Caicedo:
Implicit connectives of algebraizable logics.
Studia Logica 78(1-2): 155-170 (2004) |
| 2001 |
|---|
| 6 | | Xavier Caicedo,
Roberto Cignoli:
An Algebraic Approach to Intuitionistic Connectives.
J. Symb. Log. 66(4): 1620-1636 (2001) |
| 1998 |
|---|
| 5 | EE | Wiktor Bartol,
Xavier Caicedo,
Francesc Rosselló:
Syntactical Content of Finite Approximations of Partial Algebras.
Rough Sets and Current Trends in Computing 1998: 408-415 |
| 1993 |
|---|
| 4 | | Xavier Caicedo:
Compactness and Normality in Abstract Logics.
Ann. Pure Appl. Logic 59(1): 33-43 (1993) |
| 1986 |
|---|
| 3 | | Xavier Caicedo:
A Simple Solution to Friedman's Fourth Problem.
J. Symb. Log. 51(3): 778-784 (1986) |
| 1984 |
|---|
| 2 | | Xavier Caicedo,
Rolando Chuaqui,
Newton C. A. da Costa,
Carlos A. Di Prisco:
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983.
J. Symb. Log. 49(4): 1430-1440 (1984) |
| 1983 |
|---|
| 1 | | Ayda I. Arruda,
Xavier Caicedo,
Rolando Chuaqui,
Newton C. A. da Costa:
Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981.
J. Symb. Log. 48(3): 884-892 (1983) |
