O Método da Prova Direta por Tablôs, de Arthur Buchsbaum e Mauricio Correia Lemes Neto.
Itataia, Rio de Janeiro, 2006.
Resumo: Um sistema de tablôs por prova direta para a lógica quantificacional clássica, e condições gerais que um sistema de tablôs baseado neste método deve preencher para ser correto e completo com respeito a uma dada lógica.
XIII Encontro Brasileiro de Lógica
Four Players Semantics for a Family of Paraconsistent
and Paracomplete Logics, de Arthur Buchsbaum.
Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas, Campinas, São Paulo, 2003.
Resumo: Uma classe de semânticas de dois jogadores demonstra que os conectivos lógicos concernentes à negação, implicação, conjunção e disjunção compartilham a mesma natureza em todas as lógicas da família apresentada, incluindo a própria lógica clássica. Tais semânticas podem ser estendidas para semânticas correspondentes de quatro jogadores, nas quais a natureza da implicação pode ser ilustrada de uma forma mais precisa.
International Workshop on Universal Logic
Open/Closed Logics and a General Theorem of
Deduction, de Arthur Buchsbaum.
Institute of Logic, Université de Neuchâtel, Neuchâtel, Suíça, 2003.
Resumo: Um estudo geral das formas de introdução da implicação material e da generalização em lógicas abertas e lógicas fechadas.
III World Congress on Paraconsistency
Reasoning with Plausible Scenarios, de Arthur
Buchsbaum.
Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, França, 2003.
Resumo: Uma lógica possuindo quatro modalidades, a necessidade, a plausibilidade cética, a plausibilidade crédula, e a possibilidade, é apresentada, incluindo um cálculo axiomático e uma semântica. A mesma serve como base monotônica para uma lógica apta a representar formas de raciocínio conjetural, presentes na atividade científica.
9th Workshop on Logic, Language, Information and Computation
A Logic for Ambiguous Description, de Arthur
Buchsbaum.
Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, 2002.
Resumo: Uma lógica possuindo um novo qualificador, visando à construção de nomes ambíguos, presentes tanto no discurso matemático como na linguagem natural, é apresentada, incluindo um cálculo de seqüentes e uma semântica.
Second Principia International Symposium
Reasoning within Scientific Theories: A Logic,
de Arthur Buchsbaum.
Núcleo de Epistemologia e Lógica, Universidade Federal de Santa Catarina, Florianópolis, 2001.
Resumo: Uma lógica não monotônica, apta a representar algumas formas de raciocínio presentes na atividade científica.
II World Congress on Paraconsistency
A Game Characterization of Paraconsistent Negation,
de Arthur Buchsbaum e Tarcisio Pequeno.
Juqueí, São Sebastião, São Paulo, 2000.
Resumo: Uma semântica baseada em jogos para uma lógica paraconsistente.
XII Encontro Brasileiro de Lógica
Uma Classe de Lógicas Polissortidas e Seu Correspondente
Teorema de Completude, de Arthur Buchsbaum e Tarcisio Pequeno.
Itatiaia, Rio de Janeiro, 1999.
Resumo: Lógicas polissortidas alternativas, aptas a representar,
a menos de tradução, certas lógicas modais, e um método
genérico de prova de completude semântica para uma ampla classe
de cálculos axiomáticos correspondentes.
Stanislaw Jaskowski Memorial Symposium –
Parainconsistent Logic, Logical Philosophy, Mathematics and Informatics
A New Group of Logics featuring Non Classical
Negations, de Arthur Buchsbaum e Tarcisio Pequeno.
Torun, Polônia, 1998.
Resumo: Uma segunda geração de lógicas paraconsistentes
e/ou paracompletas, dotadas de semânticas recursivas, baseadas nas lógicas
C1, P1 e N1, de Newton
C. A. da Costa. Principais resultados e expansões para lógicas
de primeira ordem.
IV Encontro de Filosofia Analítica
Variação e Dependência, de Arthur Buchsbaum
e Tarcisio Pequeno.
Florianópolis, Santa Catarina, 1997.
Resumo: Um estudo genérico do uso de objetos variantes
em diversos tipos de cálculos axiomáticos abertos, visando
formulações eficientes e concisas do teorema da dedução.
Workshop on Logic, Language, Information
and Computation - IX Escola de Computação
New Approaches to Non Standard Negations, de
Arthur Buchsbaum e Tarcisio Pequeno.
Recife, Pernambuco, 1994.
Resumo: Um grupo de lógicas paraconsistentes e/ou
paracompletas com semânticas recursivas, descendentes das lógicas
C1, P1 e N1,
de Newton C. A. da Costa.
Second International
Conference on Principles of Knowledge Repesentation and Reasoning
The Logic of Epistemic Inconsistency, de Arthur
Buchsbaum e Tarcisio Pequeno.
Cambridge, Massachusetts, Estados Unidos, 1991.
Resumo: Uma lógica formalizando a inconsistência epistêmica
é definida, apta como base monotônica para formas de raciocínio
lidando com múltiplos cenários.
VI Simpósio Brasileiro
de Inteligência Artificial
Raciocínio Automático em Lógicas Paraconsistentes
e/ou Paracompletas, de Arthur Buchsbaum e Tarcisio Pequeno.
Rio de Janeiro, RJ, 1989.
Resumo: Sistemas de tableaux para uma família de lógicas paraconsistentes
e/ou paracompletas definidas por Newton C. A. da Costa.
VIII Simpósio Latino Americano de Lógica
Matemática
Algumas Soluções de Prova Automática para Lógicas
Não Clássicas - I, de Arthur Buchsbaum e Tarcisio Pequeno.
Algumas Soluções de Prova Automática para Lógicas Não Clássicas - II, de Arthur
Buchsbaum e Tarcisio Pequeno.
João Pessoa, Paraíba, 1989.
Resumo: No primeiro trabalho foram apresentados provadores
para uma família de lógicas paraconsistentes e/ou paracompletas.
No segundo trabalho foi apresentada uma solução, pelo método
dos tableaux, para lidar com a igualdade em certas condições
deviantes.
IV Reunião de Trabalho
do Projeto ESTRA - Coletânea de Resultados de Pesquisas
Um Provador Paraconsistente, de Arthur Buchsbaum
e Tarcisio Pequeno.
São José dos Campos, São Paulo, 1988.
Resumo: Um método de prova automático para uma lógica
paraconsistente, o cálculo C1* de Newton
C. A. da Costa, é apresentado. Trata-se de um método analítico
utilizando um sistema de tableaux. Na realidade, dois sistemas de tableaux
foram elaborados: um com um número pequeno de regras, a partir do
qual são provadas a consistência e a completude do método,
e outro, o qual mostramos ser equivalente ao primeiro, é um sistema
contendo algumas regras derivadas, a partir do qual foi realizada uma implementação.
IX Encontro Brasileiro de Lógica
Um Provador Automático de Teoremas para a Lógica
Paraconsistente de da Costa, de Arthur Buchsbaum e Tarcisio Pequeno.
São Paulo, SP, 1988.
Resumo: Um provador baseado em tableaux para o cálculo
paraconsistente C1* de Newton C. A. da Costa,
e as heurísticas usadas para obter a sua especificação..
