Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
informática en la Universidad de Birmingham.[4] Term Assignment for Intuitionistic Linear Logic (con Benton, Bierman and Hyland). Technical Report 262…3 kB (353 palabras) - 23:32 15 abr 2023- Philosophia 14 (1984), pp. 437--444 Epistemic and intuitionistic arithmetic, en Intensional Mathematics (ed., S. Shapiro), pp. 11--46 (1985) Second-order…7 kB (911 palabras) - 07:29 11 ago 2022
Huet, Gérard (1985). «A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction». Journal of Symbolic…6 kB (580 palabras) - 20:15 4 ene 2024
Intuitionism, §5 Intuitionistic Logic and Arithmetic, §6 Intuitionistic Analysis and Stronger Theories, §7 Constructive Recursive Mathematics, §8 Bishop's…45 kB (5079 palabras) - 14:26 10 abr 2024- p. 23. ISBN 84-000-7156-5. Aoyama, Hiroshi (2004). «LK, LJ, Dual Intuitionistic Logic, and Quantum Logic». Notre Dame Journal of Formal Logic 45 (4):…20 kB (1040 palabras) - 22:52 9 may 2024
Raven Press, Hewlett, New York, 1965, pp. 71–73. - Kurt Gödel. On intuitionistic arithmetic and number theory. English translation of 41811 by Martin…30 kB (4148 palabras) - 07:33 12 jun 2024
functor». En Guram Bezhanishvili, ed. Leo Esakia on Duality in Modal and Intuitionistic Logics (en inglés). Springer. p. 119-154. ISBN 978-94-017-8859-5. Vietoris…10 kB (1153 palabras) - 14:11 5 ene 2024- ISBN 978-0-691-13789-6. Interpolation and definability: modal and intuitionistic logics. Clarendon Press. 2005. p. 61. ISBN 978-0-19-851174-8. D. Pigozzi…15 kB (2684 palabras) - 15:58 13 feb 2024
- Philosophy. Consultado el 12 de marzo de 2022. Moschovakis, Joan (2021). «Intuitionistic Logic: 1. Rejection of Tertium Non Datur». The Stanford Encyclopedia…66 kB (7864 palabras) - 18:39 18 may 2024
of Philosophy, 2nd Edition. Macmillan. Moschovakis, Joan (2021). «Intuitionistic Logic: 1. Rejection of Tertium Non Datur». The Stanford Encyclopedia…127 kB (15 035 palabras) - 04:28 26 abr 2024- «predicate calculus». A Dictionary of Computing. Moschovakis, Joan (2021). «Intuitionistic Logic: 1. Rejection of Tertium Non Datur». The Stanford Encyclopedia…103 kB (13 090 palabras) - 11:24 25 nov 2023
