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
721991
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
221993
A logical expression of reasoning
A Buchsbaum, T Pequeno, M Pequeno
Synthese 154 (3), 431-466, 2007
182007
A reasoning method for a paraconsistent logic
A Buchsbaum, T Pequeno
Studia Logica 52 (2), 281-289, 1993
181993
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
171990
A general treatment for the deduction theorem in open calculi
A Buchsbaum, T Pequeno
Logique et Analyse, 9-29, 1997
161997
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
151995
Non truth-functional many-valuedness
B Arthur, JY Béziau
Travaux de logique 17, 199-218, 2004
112004
Let us be antilogical: Anti-classical logic as a logic
JY Beziau, A Buchsbaum
Let us be logical. London: College Publications, 2013
102013
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
51994
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
A Koslow, A Buchsbaum
Springer, 2014
42014
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
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