Zobrazeno 1 - 10
of 3 507
pro vyhledávání: '"classical reasoning"'
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:
Steen, Alexander
The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing number of different non-classical logics as reasoning targets. When used as
Externí odkaz:
http://arxiv.org/abs/2203.12352
Autor:
Bolotin, Arkady
Publikováno v:
Foundations of Physics, 2022
Intuitively, the more powerful a theory is, the greater the variety and quantity of ideas can be expressed through its formal language. Therefore, when comparing two theories concerning the same subject, it seems only reasonable to compare the expres
Externí odkaz:
http://arxiv.org/abs/2202.07374
Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs
Autor:
Powell, Thomas
The problem of giving a computational meaning to classical reasoning lies at the heart of logic. This article surveys three famous solutions to this problem - the epsilon calculus, modified realizability and the dialectica interpretation - and re-exa
Externí odkaz:
http://arxiv.org/abs/1812.05851
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:
Haeusler, Edward Hermann
Publikováno v:
In Electronic Notes in Theoretical Computer Science 9 September 2015 315:31-46
Autor:
Zahn, Peter
Publikováno v:
Synthese, 2006 Jan 01. 148(2), 309-343.
Externí odkaz:
https://www.jstor.org/stable/20118693
Autor:
V Alexis Peluce
Publikováno v:
Journal of Logic and Computation. 32:1796-1814
Artemov, building upon a tradition beginning with Kolmogorov and Gödel, developed a paradigm for understanding Constructive Reasoning in terms of classical proofs. Kolmogorov–Gödel–Artemov constructivism flies in the face of the usual understan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ad865a2e69de5305a4cec13574d1164
https://doi.org/10.1093/logcom/exac076
https://doi.org/10.1093/logcom/exac076
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.