Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: A logico-philosophical analysis of the notion of identity</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Logica Yearbook 2018
ISBN
978-1-84890-307-4
ISSN
—
e-ISSN
—
Number of pages
14
Pages from-to
197-210
Publisher name
College Publications
Place of publication
London
Event location
Hejnice
Event date
Jun 18, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—