Zobrazeno 1 - 2
of 2
pro vyhledávání: '"03F52 (03B40)"'
Autor:
Jean-Yves Girard
Publikováno v:
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
Mathematical Structures in Computer Science, 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
We study logic in the light of the Kantian distinction between analytic (untyped, meaningless, locative) answers and synthetic (typed, meaningful, spiritual) questions. Which is specially relevant to proof-theory: in a proof-net, the upper part is lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::794e05cbc93829c30f29e36c015f2976
https://hal.science/hal-01322327
https://hal.science/hal-01322327
Autor:
Girard, Jean-Yves
Using a non deterministic analytics, it is possible to expand the au- tonomous explanation of logic, a.k.a. transcendental syntax, to full logic, i.e., first order predicate calculus with equality. This paper concentrates on additives, intuitionistic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c2f519d9a356049aeb6e98e529748974
https://hal.science/hal-01322329
https://hal.science/hal-01322329