Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F19%3A00508538" target="_blank" >RIV/67985955:_____/19:00508538 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
Popis výsledku v původním jazyce
We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
Název v anglickém jazyce
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
Popis výsledku anglicky
We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.

Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology

Projekt
<a href="/cs/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: Logicko-filozofická analýza pojmu identity</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)