-
Walter Carnielli and Renata de Freitas Petrucio Viana, The proceedings of the XVI ebl--16th Brazilian logic conference, 2011: A prefaceLogic Journal of the IGPL 22 (2): 181-185. 2014.
-
Rafael Testa, Revisão de Crenças Paraconsistente baseada em um operador formal de consistênciaDissertation, University of Campinas. 2014.
-
Walter Carnielli, Renata de Freitas, and Petrucio Viana, XVI Brazilian Logic Conference (EBL 2011)Bulletin of Symbolic Logic 18 (1): 150-151. 2012.
-
João Rasga, Walter Carnielli, and Cristina Sernadas, Interpolation via translationsMathematical Logic Quarterly 55 (5): 515-534. 2009.
-
Rafael Testa, Dilemas deônticos e escolha: considerações pragmáticasRevista Brasileira de Filosofia 232 231-246. 2009.
-
Rafael Testa, Dilemas Deônticos: uma abordagem baseada em relações de preferênciaDissertation, University of Campinas. 2008.
-
Rafael Testa, Solving Normative Conflicts Using Preferences RelationsCLE E-Prints. 2008.
-
Walter Carnielli, Polynomizing: Logic inference in polynomial format and the legacy of BooleIn L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine, Springer. pp. 349--364. 2007.
-
Rafael Testa, Uma análise de algumas lógicas deônticas para a representação de normas jurídicasDissertation, University of Campinas. 2006.
-
-
Walter Carnielli, Book review: Yves nievergelt, foundations of logic and mathematics: Applications to computer science and cryptography, birkäuser verlag, boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 × 9.96 × 7.36 (review)Studia Logica 78 (3): 479-481. 2004.
-
Walter Carnielli, Marcelo E. Coniglio, and Itala Maria Loffredo D'Ottaviano, Paraconsistency: The Logical Way to the Inconsistent (edited book)Marcel Dekker. 2002.
-
Walter Carnielli, Joao Marcos, and Sandra De Amo, Formal inconsistency and evolutionary databasesLogic and Logical Philosophy 8 (2): 115-152. 2000.
-
Walter Carnielli, Resenha de 'Logiques classiques et non classiques. essai sur les fondements de la logique' (Newton C.A. da Costa)Manuscrito 23 (1): 235-241. 2000.
-
Walter Carnielli, Systematization of finite many-valued logics through the method of tableauxJournal of Symbolic Logic 52 (2): 473-493. 1987.
-
Walter Carnielli, Seventh Latin American on Mathematical Logic- Meeting of the association for symbolic logic: Campinas, Brazil, 1985Journal of Symbolic Logic 51 (4): 1093-1103. 1986.
-
Ricardo Peraça Cavassane, Felipe S. Abrahão, and Itala Maria Loffredo D'Ottaviano, Big Data and the Emergence of Zemblanity and Self-Fulfilling Prophecies
-
Ricardo Peraça Cavassane, Itala Maria Loffredo D'Ottaviano, and Felipe S. Abrahão, Pragmatic Nonsense
-
Ricardo Peraça Cavassane and Felipe S. Abrahão, The problem of hallucinations in chatbots based on Large Language Models: an analysis from the perspective of the semantic theory of truth and the theory of quasi-truth
