Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Sergei Artemov"'
Autor:
Alexandre Costa-Leite
Publikováno v:
Principia: An International Journal of Epistemology, Vol 18, Iss 2, Pp 175-186 (2014)
Two kinds of justification logics are studied. Then, this article shows how the notion of quasi-truth can be defined in these systems.
Externí odkaz:
https://doaj.org/article/73cf5f01e5dc41f295a7431d057a163c
Autor:
Carl Hewitt
Publikováno v:
SSRN Electronic Journal.
This article shows how fundamental higher-order theories of mathematical structures of computer science (e.g. natural numbers [Dedekind 1888] and Actors [Hewitt et. al. 1973]) are categorical meaning that they can be axiomatized up to a unique is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb6641fe8a67e8a2f9fd7d561fc43709
https://doi.org/10.2139/ssrn.3418003
https://doi.org/10.2139/ssrn.3418003