Walter Alexandre Carnielli

	2008
30		Walter Alexandre Carnielli, João Rasga, Cristina Sernadas: Preservation of Interpolation Features by Fibring. J. Log. Comput. 18(1): 123-151 (2008)
29		Igor Carboni Oliveira, Walter Alexandre Carnielli: The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. Logic Journal of the IGPL 16(6): 585-590 (2008)
	2007
28		Juan C. Agudelo, Walter Alexandre Carnielli: Unconventional Models of Computation Through Non-standard Logic Circuits. UC 2007: 29-40
27		Walter Alexandre Carnielli: Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. Model-Based Reasoning in Science, Technology, and Medicine 2007: 349-364
	2006
26		Walter Alexandre Carnielli: Surviving Abduction. Logic Journal of the IGPL 14(2): 237-256 (2006)
	2005
25		Juan C. Agudelo, Walter Alexandre Carnielli: Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. IICAI 2005: 1609-1628
24		Walter Alexandre Carnielli: Polynomial Ring Calculus for Many-Valued Logics. ISMVL 2005: 20-25
23		Walter Alexandre Carnielli, Marcelo E. Coniglio: Splitting Logics. We Will Show Them! (1) 2005: 389-414
22		João Marcos, Diderik Batens, Walter Alexandre Carnielli: A Paraconsistent Decagon. J. Applied Logic 3(1): 1-5 (2005)
21		Andreas B. M. Brunner, Walter Alexandre Carnielli: Anti-intuitionism and paraconsistency. J. Applied Logic 3(1): 161-184 (2005)
20		Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano: An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. Logic Journal of the IGPL 13(1): 1-3 (2005)
19		Walter Alexandre Carnielli, Paulo Mateus: Editorial. Logic Journal of the IGPL 13(6): 611-614 (2005)
	2004
18		Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano: Editorial. Logic Journal of the IGPL 12(6): 431-437 (2004)
17		Walter Alexandre Carnielli: Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8. Studia Logica 78(3): 479-481 (2004)
	2003
16		Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas: Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information 12(2): 183-211 (2003)
	2002
15		Sandra de Amo, Walter Alexandre Carnielli, João Marcos: A Logical Framework for Integrating Inconsistent Information in Multiple Databases. FoIKS 2002: 67-84
14		Cristina Sernadas, João Rasga, Walter Alexandre Carnielli: Modulated Fibring and The Collapsing Problem. J. Symb. Log. 67(4): 1541-1569 (2002)
13		Marcelo E. Coniglio, Walter Alexandre Carnielli: Transfers between Logics and their Applications. Studia Logica 72(3): 367-400 (2002)
	2000
12		Walter Alexandre Carnielli, Emerson L. Monte Carmelo: K2, 2-K1, n and K2, n-K2, n bipartite Ramsey numbers. Discrete Mathematics 223(1-3): 83-92 (2000)
	1999
11		Walter Alexandre Carnielli, João Marcos: Limits for Paraconsistent Calculi. Notre Dame Journal of Formal Logic 40(3): 375-390 (1999)
	1997
10		Walter Alexandre Carnielli, Paulo A. S. Veloso: Ultrafilter Logic and Generic Reasoning. Kurt Gödel Colloquium 1997: 34-53
9		Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli, Antonio Mario Sette, Michael B. Wrigley: XI Brazilian Conference on Mathematical Logic. Logic Journal of the IGPL 5(3): (1997)
	1995
8		Antonio Mario Sette, Walter Alexandre Carnielli: Maximal weakly-intuitionistic logics. Studia Logica 55(1): 181-203 (1995)
	1993
7		Carlos A. Di Prisco, Walter Alexandre Carnielli: Some Results an Polarized Relations of Higher Dimension. Math. Log. Q. 39: 461-474 (1993)
	1992
6		Walter Alexandre Carnielli, Mamede Lima-Marques: Reasoning under Inconsistent Knowledge. Journal of Applied Non-Classical Logics 2(1): (1992)
	1991
5		Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques: Contextual Negations and Reasoning with Contradictions. IJCAI 1991: 532-537
	1990
4		Walter Alexandre Carnielli: Many-Valued Logics and Plausible Reasoning. ISMVL 1990: 328-335
	1987
3		Walter Alexandre Carnielli: Systematization of Finite Many-Valued Logics Through the Method of Tableaux. J. Symb. Log. 52(2): 473-493 (1987)
	1986
2		Walter Alexandre Carnielli: Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. J. Symb. Log. 51(4): 1093-1103 (1986)
	1985
1		Walter Alexandre Carnielli: On covering and coloring problems for rook domains. Discrete Mathematics 57(1-2): 9-16 (1985)

Coauthor Index

1	Juan C. Agudelo	[25] [28]
2	Sandra de Amo	[15]
3	Diderik Batens	[22]
4	Andreas B. M. Brunner	[21]
5	Carlos Caleiro	[16]
6	Emerson L. Monte Carmelo	[12]
7	Luis Fariñas del Cerro	[5]
8	Marcelo E. Coniglio	[13] [16] [18] [20] [23]
9	Itala M. Loffredo D'Ottaviano	[9] [18] [20]
10	Mamede Lima-Marques	[5] [6]
11	João Marcos	[11] [15] [22]
12	Paulo Mateus	[19]
13	Igor Carboni Oliveira	[29]
14	Carlos A. Di Prisco	[7]
15	João Rasga	[14] [30]
16	Amílcar Sernadas	[16]
17	Cristina Sernadas	[14] [16] [30]
18	Antonio Mario Sette	[8] [9]
19	Paulo A. S. Veloso	[10]
20	Michael B. Wrigley	[9]

Colors in the list of coauthors