| The logic of epistemic inconsistency THC Pequeno, A Buchsbaum Proceedings of the second international conference on principles of …, 1991 | 75 | 1991 |
| Uma família de lógicas paraconsistentes e/ou paracompletas com semânticas recursivas A Buchsbaum, T Pequeno Monografias em Ciência da Computação, 1993 | 23 | 1993 |
| O método dos tableaux generalizado e sua aplicação ao raciocínio automático em lógicas não clássicas A Buchsbaum, T Pequeno O que nos faz pensar 2 (03), 81-96, 1990 | 20 | 1990 |
| A logical expression of reasoning A Buchsbaum, T Pequeno, M Pequeno Synthese 154, 431-466, 2007 | 18 | 2007 |
| A reasoning method for a paraconsistent logic A Buchsbaum, T Pequeno Studia Logica 52, 281-289, 1993 | 17 | 1993 |
| A general treatment for the deduction theorem in open calculi A Buchsbaum, T Pequeno Logique et Analyse, 9-29, 1997 | 15 | 1997 |
| Let us be antilogical: Anti-classical logic as a logic JY Beziau, A Buchsbaum Soyons logiques/Let us be Logical, London: College Publications, 1-10, 2016 | 14 | 2016 |
| Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática A Buchsbaum PhD Thesis, Pontifícia Universidade Católica do Rio de Janeiro, 1995. This …, 1995 | 14 | 1995 |
| Um método automático de prova para a lógica paraconsistente A Buchsbaum Master's thesis, Pontifícia Universidade Católica do Rio de Janeiro, 1988 | 8 | 1988 |
| A positive formalization for the notion of pragmatic truth T Pequeno, A Buchsbaum, M Pequeno Proceedings of the international conference on artificial intelligence 2 …, 2001 | 7 | 2001 |
| Automated deduction with non classical negations A Buchsbaum, T Pequeno Proceedings of 3rd Workshop on Theorem Proving with Analytic Tableaux and …, 1994 | 6 | 1994 |
| The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II A Koslow, A Buchsbaum Birkhäuser, 2015 | 4 | 2015 |
| Sensible Inconsistent Reasoning: A Tableau System for LEI.' MS Corrêa, AR Buchsbaum, T Pequeno Technical Notes of AAAI Fall Symposium on Automated Deduction in Non …, 1993 | 4 | 1993 |
| Introduction of implication and generalization in axiomatic calculi A Buchsbaum, JY Béziau | 3 | 2004 |
| The road to universal logic A Koslow, A Buchsbaum Volume II, New, 2015 | 2 | 2015 |
| A tool for logicians A Buchsbaum, F Reinaldo The PracTEX Journal, 2007 | 2 | 2007 |
| Lógica Geral A Buchsbaum | 2 | 2006 |
| Raciocínio por Tablôs de uma Forma Direta A Buchsbaum, MCL Neto Revista eletrônica de sistemas de informação 4 (2), 2005 | 2 | 2005 |
| Método dos Tableaux com Unificação LCP Fendt, A Buchsbaum Anais do XXI Congresso da Sociedade Brasileira de Computação, 2001 | 2 | 2001 |
| Four Players Semantics for a Family of Paraconsistent and Paracomplete Logics A Buchsbaum, M Pequeno, MC Pequeno XII SLALM–Latin-American Symposium on Mathematical Logic, San José, Costa …, 0 | 2 | |
