Walter Alexandre Carnielli

2008
29	EE	Walter Alexandre Carnielli, João Rasga, Cristina Sernadas: Preservation of Interpolation Features by Fibring. J. Log. Comput. 18(1): 123-151 (2008)
2007
28	EE	Juan C. Agudelo, Walter Alexandre Carnielli: Unconventional Models of Computation Through Non-standard Logic Circuits. UC 2007: 29-40
27	EE	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	EE	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	EE	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	EE	João Marcos, Diderik Batens, Walter Alexandre Carnielli: A Paraconsistent Decagon. J. Applied Logic 3(1): 1-5 (2005)
21	EE	Andreas B. M. Brunner, Walter Alexandre Carnielli: Anti-intuitionism and paraconsistency. J. Applied Logic 3(1): 161-184 (2005)
20	EE	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	EE	Walter Alexandre Carnielli, Paulo Mateus: Editorial. Logic Journal of the IGPL 13(6): 611-614 (2005)
2004
18	EE	Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano: Editorial. Logic Journal of the IGPL 12(6): 431-437 (2004)
17	EE	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	EE	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	EE	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	EE	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	EE	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	Carlos A. Di Prisco	[7]
14	João Rasga	[14] [29]
15	Amílcar Sernadas	[16]
16	Cristina Sernadas	[14] [16] [29]
17	Antonio Mario Sette	[8] [9]
18	Paulo A. S. Veloso	[10]
19	Michael B. Wrigley	[9]

Colors in the list of coauthors