Walter Alexandre Carnielli

	2012
39		Lorenzo Magnani, Walter Alexandre Carnielli, Claudio Pizzi: Special Issue: Formal Representations in Model-based Reasoning and Abduction. Logic Journal of the IGPL 20(2): 367-369 (2012)
38		Anderson De Araújo, Walter Alexandre Carnielli: Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. Logic Journal of the IGPL 20(2): 477-485 (2012)
	2011
37		Walter Alexandre Carnielli: The Single-minded Pursuit of Consistency and its Weakness. Studia Logica 97(1): 81-100 (2011)
	2010
36		Juan C. Agudelo, Walter Alexandre Carnielli: Paraconsistent Machines and their Relation to Quantum Computing. J. Log. Comput. 20(2): 573-595 (2010)
	2009
35		Walter Alexandre Carnielli, Heinrich Wansing: Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation. J. Log. Comput. 19(6): 987 (2009)
34		Igor Carboni Oliveira, Walter Alexandre Carnielli: Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" . Logic Journal of the IGPL, 16(6): 585-590(2008). Logic Journal of the IGPL 17(6): 803-804 (2009)
33		João Rasga, Walter Alexandre Carnielli, Cristina Sernadas: Interpolation via translations. Math. Log. Q. 55(5): 515-534 (2009)
	2008
32		Walter Alexandre Carnielli, João Rasga, Cristina Sernadas: Preservation of Interpolation Features by Fibring. J. Log. Comput. 18(1): 123-151 (2008)
31		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
30		Juan C. Agudelo, Walter Alexandre Carnielli: Unconventional Models of Computation Through Non-standard Logic Circuits. UC 2007: 29-40
29		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
28		Walter Alexandre Carnielli: Surviving Abduction. Logic Journal of the IGPL 14(2): 237-256 (2006)
	2005
27		Juan C. Agudelo, Walter Alexandre Carnielli: Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. IICAI 2005: 1609-1628
26		Walter Alexandre Carnielli: Polynomial Ring Calculus for Many-Valued Logics. ISMVL 2005: 20-25
25		Walter Alexandre Carnielli, Marcelo E. Coniglio: Splitting Logics. We Will Show Them! (1) 2005: 389-414
24		João Marcos, Diderik Batens, Walter Alexandre Carnielli: A Paraconsistent Decagon. J. Applied Logic 3(1): 1-5 (2005)
23		Andreas B. M. Brunner, Walter Alexandre Carnielli: Anti-intuitionism and paraconsistency. J. Applied Logic 3(1): 161-184 (2005)
22		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)
21		Walter Alexandre Carnielli, Paulo Mateus: Editorial. Logic Journal of the IGPL 13(6): 611-614 (2005)
	2004
20		Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano: Editorial. Logic Journal of the IGPL 12(6): 431-437 (2004)
19		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
18		Denise Guliato, Rangaraj M. Rangayyan, Walter Alexandre Carnielli, João Antonio Zuffo, J. E. Leo Desautels: Segmentation of breast tumors in mammograms using fuzzy sets. J. Electronic Imaging 12(3): 369-378 (2003)
17		Denise Guliato, Rangaraj M. Rangayyan, Walter Alexandre Carnielli, João Antonio Zuffo, J. E. Leo Desautels: Fuzzy fusion operators to combine results of complementary medical image segmentation techniques. J. Electronic Imaging 12(3): 379-389 (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	[27] [30] [36]
2	Sandra de Amo	[15]
3	Anderson De Araújo	[38]
4	Diderik Batens	[24]
5	Andreas B. M. Brunner	[23]
6	Carlos Caleiro	[16]
7	Emerson L. Monte Carmelo	[12]
8	Luis Fariñas del Cerro	[5]
9	Marcelo E. Coniglio	[13] [16] [20] [22] [25]
10	Itala M. Loffredo D'Ottaviano	[9] [20] [22]
11	J. E. Leo Desautels	[17] [18]
12	Denise Guliato	[17] [18]
13	Mamede Lima-Marques	[5] [6]
14	Lorenzo Magnani	[39]
15	João Marcos	[11] [15] [24]
16	Paulo Mateus	[21]
17	Igor Carboni Oliveira	[31] [34]
18	Claudio Pizzi	[39]
19	Carlos A. Di Prisco	[7]
20	Rangaraj M. Rangayyan	[17] [18]
21	João Rasga	[14] [32] [33]
22	Amílcar Sernadas	[16]
23	Cristina Sernadas	[14] [16] [32] [33]
24	Antonio Mario Sette	[8] [9]
25	Paulo A. S. Veloso	[10]
26	Heinrich Wansing	[35]
27	Michael B. Wrigley	[9]
28	João Antonio Zuffo	[17] [18]

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