Výsledky vyhledávání - "Sanz, Wagner"

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Dissertation/ Thesis

Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Autor: Sanz, Wagner de Campos

Publikováno v: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Orientador: Marcelo Esteban Coniglio
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-07T00:21:55Z (GMT). No. of bitstreams: 1 Sanz_WagnerdeCampos_D.pdf: 257

Externí odkaz: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280089

Zobrazit plný text záznamu

Dissertation/ Thesis

Razão, computação e sistemas formais

Autor: Sanz, Wagner de Campos

Publikováno v: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Orientador : Carlos Alberto Lungarzo
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-13T23:41:21Z (GMT). No. of bitstreams: 1 Sanz_WagnerdeCampos_M.

Externí odkaz: http://repositorio.unicamp.br/jspui/handle/REPOSIP/281747

Zobrazit plný text záznamu

Akademický článek

On Dummett's verificationist justification procedure

Autor: de Campos Sanz, Wagner, Oliveira, Hermógenes

Publikováno v: Synthese, 2016 Aug 01. 193(8), 2539-2559.

Externí odkaz: https://www.jstor.org/stable/43921232

Zobrazit plný text záznamu

Euclidean Machines

Autor: Sanz, Wagner, Petrucio Viana

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4f208de8c5898798571d0cbe703a68b8

Zobrazit plný text záznamu

Akademický článek

Failure of Completeness in Proof-Theoretic Semantics

Autor: Piecha, Thomas, de Campos Sanz, Wagner, Schroeder-Heister, Peter

Publikováno v: Journal of Philosophical Logic, 2015 Jun 01. 44(3), 321-335.

Externí odkaz: http://www.jstor.org/stable/24564085

Zobrazit plný text záznamu

Razão, computação e sistemas formais

Autor: Sanz, Wagner de Campos

Publikováno v: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP

Orientador : Carlos Alberto Lungarzo Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: Não informado Abstract: Not informed. Mestrado Mestre em Filosofia

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97a7b9446ccd24788f36d8ea3815936f
https://doi.org/10.47749/t/unicamp.1991.29696

Zobrazit plný text záznamu

Akademický článek

Peirce's Rule in a Full Natural Deduction System

Autor: Costa, Vaston G., Sanz, Wagner, Haeusler, Edward H., Pereira, Luiz C.

Publikováno v: In Electronic Notes in Theoretical Computer Science 2 December 2009 256:5-18

Zobrazit plný text záznamu

Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Autor: Sanz, Wagner de Campos

Publikováno v: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP

Orientador: Marcelo Esteban Coniglio Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a8d8346f303b6ee9924470a0c59c134
https://doi.org/10.47749/t/unicamp.2006.372920

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání