The logic of epistemic inconsistency THC Pequeno, A Buchsbaum Proceedings of the second international conference on principles of
, 1991 | 77 | 1991 |
Uma família de lógicas paraconsistentes e/ou paracompletas com semânticas recursivas A Buchsbaum, T Pequeno Coleção Documentos, Série Lógica e Teoria da Ciência 14, 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 | 19 | 2007 |
A reasoning method for a paraconsistent logic A Buchsbaum, T Pequeno Studia Logica 52, 281-289, 1993 | 18 | 1993 |
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 | 16 | 2016 |
A general treatment for the deduction theorem in open calculi A Buchsbaum, T Pequeno Logique et Analyse, 9-29, 1997 | 15 | 1997 |
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 SLALMLatin-American Symposium on Mathematical Logic, San José, Costa
, 0 | 2 | |