Demonstrações na algibeira : polinômios como um método universal de prova

Demonstrações na algibeira : polinômios como um método universal de prova

Mariana Matulovic da Silva

TESE

Português

T/UNICAMP M437d

[Demonstrations in the algibeira]

Campinas, SP : [s.n.], 2013.

144 p. : il.

Orientador: Walter Alexandre Carnielli

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: O presente trabalho tem por objetivo explorar, em diversas vertentes, o caráter universal de uma ferramenta poderosa de prova, apta a ser utilizada em lógicas clássicas e não clássicas, em particular em lógicas multivaloradas proposicionais (determinísticas e não-determinísticas), em lógicas...

Abstract: This investigation aims to explore, in various aspects, the universal character of a powerful proof method, able to be used in classical and non-classical logics, in particular in propositional many-valued logics (deterministic and non- deterministic) in paraconsistent logics, in modal...

Demonstrações na algibeira : polinômios como um método universal de prova

Mariana Matulovic da Silva


										

Demonstrações na algibeira : polinômios como um método universal de prova

Mariana Matulovic da Silva

    Exemplares