Follow
Arthur Buchsbaum
Arthur Buchsbaum
Professor Computer Science, Federal University of Santa Catarina
Verified email at inf.ufsc.br
Title
Cited by
Cited by
Year
The logic of epistemic inconsistency
THC Pequeno, A Buchsbaum
Proceedings of the second international conference on principles of …, 1991
771991
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
211993
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
201990
A logical expression of reasoning
A Buchsbaum, T Pequeno, M Pequeno
Synthese 154, 431-466, 2007
182007
A general treatment for the deduction theorem in open calculi
A Buchsbaum, T Pequeno
Logique et Analyse, 9-29, 1997
151997
A reasoning method for a paraconsistent logic
A Buchsbaum, T Pequeno
Studia Logica 52, 281-289, 1993
151993
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
131995
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
122016
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
82001
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
71988
Automated deduction with non classical negations
A Buchsbaum, T Pequeno
Proceedings of 3rd Workshop on Theorem Proving with Analytic Tableaux and …, 1994
61994
The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
A Koslow, A Buchsbaum
Birkhäuser, 2015
42015
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
41993
Introduction of implication and generalization in axiomatic calculi
B Arthur, JY Béziau
Travaux de logique 17, 231-254, 2004
32004
The road to universal logic
A Koslow, A Buchsbaum
Volume II, New, 2015
22015
A tool for logicians
A Buchsbaum, F Reinaldo
The PracTEX Journal, 2007
22007
Lógica Geral
A Buchsbaum
22006
Raciocínio por Tablôs de uma Forma Direta
A Buchsbaum, MCL Neto
Revista eletrônica de sistemas de informação 4 (2), 2005
22005
Método dos Tableaux com Unificação
LCP Fendt, A Buchsbaum
Anais do XXI Congresso da Sociedade Brasileira de Computação, 2001
22001
A introdução da implicação em cálculos axiomáticos abertos
A Buchsbaum, T Pequeno
Anais do IV Encontro de Filosofia Analítica, 61-75, 1998
21998
The system can't perform the operation now. Try again later.
Articles 1–20