Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Pezlar, Ivo"'
Autor:
Pezlar, Ivo
We introduce a simple natural deduction system for reasoning with judgments of the form "there exists a proof of $\varphi$" to explore the notion of judgmental existence following Martin-L\"{o}f's methodology of distinguishing between judgments and p
Externí odkaz:
http://arxiv.org/abs/2405.14481
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Pezlar, Ivo
Publikováno v:
Logique et Analyse, 2018 Jan 01(242), 151-161.
Externí odkaz:
https://www.jstor.org/stable/26767879
