Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Rodolfo Cristian Ertola Biraben"'
Publikováno v:
Revista dos Trabalhos de Iniciação Científica da UNICAMP.
Em um artigo de 1932, Gödel prova que a lógica proposicional intuicionista não pode ser vista como um sistema lógico multivalorado finito. Isso é feito mostrando que não existe uma função valoração com contradomínio finito que atribua a to
Publikováno v:
Revista de Filosofía y Teoría Política, Vol 0, Iss 34, Pp 135-140 (2002)
In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa Logic. In particular, we prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7715c2a565bf968b05bea7ef122d1601
https://academic.oup.com/jigpal/article-abstract/22/2/268/702404
https://academic.oup.com/jigpal/article-abstract/22/2/268/702404
Publikováno v:
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Universidad Nacional de La Plata
instacron:UNLP
We study some operations that may be defined using the minimum operator in the context of a Heyting algebra. Our motivation comes from the fact that 1) already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d524b39faeaed55083e66297b41ff42
http://sedici.unlp.edu.ar/handle/10915/137724
http://sedici.unlp.edu.ar/handle/10915/137724
Publikováno v:
Logic and Logical Philosophy. 14
Book Reviews: J. Michael Dunn and Gary M. Hardegree, "Algebraic Methods in Philosophical Logic", Oxford Logic Guides, no. 41, Clarendon Press, Oxford University Press, Oxford, New York, etc., 2001, pp xv + 470.
Publikováno v:
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Orientador: Itala Maria Loffredo D'Ottaviano Tese (doutorado) - Universidade Etsadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: Nesta Tese examinamos algumas questões relacionadas com o conceito de função computável. Entre as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0b812f9eadda966db48d43a92f83abd
Publikováno v:
Studia Logica; Sep2011, Vol. 98 Issue 3, p331-345, 15p