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

In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210 (2019)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
PEZNPT
Upload history
Archival date: 2019-08-13
View other versions
Added to PP index
2019-08-13

Total views
94 ( #34,696 of 51,473 )

Recent downloads (6 months)
28 ( #20,853 of 51,473 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.