Pesquisa
MULTIÁLGEBRAS E SEMÂNTICAS NÃO-DETERMINÍSTICAS APLICADAS A LÓGICAS PARACONSISTENTES
ESTE TRABALHO ESTÁ DIVIDIDO ENTRE DUAS GRANDES ÁREAS: NA TEORIA DE MULTIÁLGEBRAS, FOCAMOS MAJORITARIAMENTE EM UMA NOVA DEFINIÇÃO DO QUE UM OBJETO LIVREMENTE GERADO DEVERIA SER EM SUA CATEGORIA E EM COMO ESTA CATEGORIA É EQUIVALENTE A OUTRA COM ÁLGEB…
UM MODELO ALGÉBRICO DO QUANTIFICADOR DA UBIQUIDADE
ESTA PESQUISA ESTÁ INSERIDA NO CONTEXTO FILOSÓFICO DA LÓGICA, COM ÊNFASE NOS ASPECTOS DOS QUANTIFICADORES E NOS SEUS MODELOS OU INTERPRETAÇÕES. O OBJETIVO DESTE TRABALHO É UM APROFUNDAMENTO DAS NOÇÕES DE QUANTIFICAÇÃO DENTRO DO ASPECTO DAS LÓGICAS M…
Algebra de Relações:: uma axiomatização Tarskiana
Em 1975, Alfred Tarski esteve no Brasil e apresentou duas conferências na Unicamp sobre Álgebra de Relações (RA). Tarski (assim como De Morgan, Peirce e Schröder e outros que trabalharam com a teoria de relações binárias antes dele) estava preocupad…
Fibrilação de Lógicas na Hierarquia de Leibniz
A presente tese estuda um mecanismo de combinações entre lógicasconhecido como fibrilação. A caraterística essencial de este sistema é que está baseado na combinação de linguagens formais proposicionais. Além do estudo conceitual do método mencionad…
Semântica algébrica de traduções possíveis
A dissertação estuda uma nova definição de algebrização capaz de algebrizar lógicas às quais não bastam nem o método clássico e nem o método geral devido a W. Blok e D. Pigozzi chamado de algebrização finitária. Tal é o caso de várias lógicas paraco…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.