Tarcísio Genaro Rodrigues

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• CARNIELLI, WALTER ; CONIGLIO, MARCELO E. ; PODIACKI, RODRIGO ; RODRIGUES, TARCÍSIO . ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY. The Review of Symbolic Logic , v. 7, p. 548-578, 2014.

• CONIGLIO, M. E. ; RODRIGUES, T. G. . Some investigations on mbC and mCi. In: Cezar A. Mortari. (Org.). Tópicos de lógicas não clássicas. 1ed.Florianópolis: NEL/UFSC, 2014, v. 1, p. 11-70.

• CONIGLIO, M. E. ; RODRIGUES, T. G. . New results on mbC and mCi. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic, 2013. p. 187-187.

• RODRIGUES, T. G. ; CONIGLIO, M. E. . A Paraconsistent Herbrand's Theorem. 2011. (Apresentação de Trabalho/Comunicação).

Projetos de pesquisa

• 2009 - 2010

  Lógica Paraconsistente baseada em Lógicas da Inconsistência Formal, Descrição: O presente projeto de pesquisa visa o estudo de diferentes abordagens à programação lógicaparaconsistente introduzidas na literatura, assim como o desenvolvimento de um paradigma original baseado nas Lógicas da Inconsistência Formal (LFIs). Para isso, serão analisadas e comparadas as semânticas para LFIs de primeira ordemintroduzidas independentemente por A. Avron e A. Zamansky, por um lado, e R. Podiacki pelo outro, com o objetivo de definir uma semântica apropriada para programas lógicos paraconsistentes (o fragmento das cláusulas Horn da lógica de primeira ordem). Outras semânticas, tais como as semânticas de modelos estáveis e as semânticas bem-fundadas, serão também analisadas neste contexto, assim como a definição de uma regra de resolução apropriada para LFIs. Estes estudos poderão ser aplicados para estender, para linguagens de primeira ordem com símbolos de função, a linguagem dedutiva de consulta P-Datalog introduzida por M.S. Pais, que está baseada numa LFI de 4 valores. Espera-se realizar uma discussão conceitual sobre a questão da inconsistência em bases de conhecimento.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Tarcísio Genaro Rodrigues - Integrante / Marcelo Esteban Coniglio - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 1