área de pesquisa
- A Category of Ordered Algebras Equivalent to the Category of Multialgebras
- A lógica do Muito em um sistema de tablôs.
- A lógica e a metafísica dos enigmas : surpresa, espanto e informação
- Arthur Ronald de Vallauris Buchsbaum
- Conectivos de restauração local
- Demonstrações naalgibeira: polinômios como um método universal de provas
- Dilemas deonticos : uma abordagem baseada em relações de preferencia
- From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth
- FROM GENERATIVE LINGUISTICS TO CATEGORIAL GRAMMARS: OVERT SUBJECTS IN CONTROL INFINITIVES
- Fundamentos da lógica anotada
- G'3 as the logic of modal 3-valued Heyting algebras
- Genuine paracomplete logics
- Hipersecuentes y la Lógica Tetravalente Modal TML
- Issues in epistemic and modal logics and their applications
- João Marcos de Almeida
- Luiz Henrique da Cruz Silvestrini
- Lógica Modal Aplicada à Verificação de Sistemas a Eventos Discretos.
- Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática
- Lógicas Moduladas e Bases para o Raciocínio sob Incerteza
- Marcelo Esteban Coniglio
- Mariana Matulovic da Silva Rodrigueiro
- Modal Logic With Non-Deterministic Semantics: Part II-Quantified Case
- Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics
- On the expressive power of -ukasiewicz square operator
- Operadores Modais e Prova Automática de Teoremas: Uma Proposta de Tratamento de Sistemas de Dados Inconsistentes
- Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
- Princípios Fundamentais da Teoria Fuzzy
- Problemas de uma semantica para a logica intuicionista de primeira ordem
- Prof. Dr. Cezar Augusto Mortari
- Semântica Algébrica de Traduções Possíveis
- Semânticas de Traduções Possíveis
- Sistema Inteligente Baseado na Lógica Paraconsistente Anotada Evidencial Et para Controle e Navegação de Robôs Móveis Autônomos em um Ambiente Não-Estruturado
- Sistemas Adaptativos, Lógica e Computação Inteligente
- Tableaux e indução na lógica do plausível
- Tarcísio Genaro Rodrigues
- UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
- Uma lógica para a referência ambígua
- Uma Nova Abordagem para a Noção de Quase-Verdade
- Valorações para alguns sistemas de logica do tempo
- Valuation semantics for first-order logics of evidence and truth ∗
- Weakly Free Multialgebras