Xavier Caicedo

	2011
12		Xavier Caicedo, Ricardo Oscar Rodríguez: Bi-modal Gödel logic over [0,1]-valued Kripke frames CoRR abs/1110.2407: (2011)
	2010
11		Xavier Caicedo, Ricardo Oscar Rodríguez: Standard Gödel Modal Logics. Studia Logica 94(2): 189-214 (2010)
	2009
10		Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen: Equivalence and quantifier rules for logic with imperfect information. Logic Journal of the IGPL 17(1): 91-129 (2009)
	2006
9		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		Xavier Caicedo: Definability and automorphisms in abstract logics. Arch. Math. Log. 43(8): 937-946 (2004)
7		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		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)

Coauthor Index

1	Ayda I. Arruda	[1]
2	Wiktor Bartol	[5]
3	Rolando Chuaqui	[1] [2]
4	Roberto Cignoli	[6]
5	Newton C. A. da Costa	[1] [2]
6	Francien Dechesne	[10]
7	Theo M. V. Janssen	[10]
8	Carlos A. Di Prisco	[2]
9	Ricardo Oscar Rodríguez	[11] [12]
10	Francesc Rosselló	[5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page