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
Revision history
Archival date: 2019-08-13
View upload history
References found in this work BETA
A Logical Calculus of Meaning and Synonymy.Moschovakis, Yiannis Nicholas
Anatomy of a Proposition.Jespersen, Bjørn

View all 14 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2019-08-13

Total views
9 ( #41,522 of 41,462 )

Recent downloads (6 months)
9 ( #36,479 of 41,462 )

How can I increase my downloads?

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