2018
DOI: 10.1007/s11225-018-9823-7
|View full text |Cite
|
Sign up to set email alerts
|

Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
13
0

Year Published

2018
2018
2024
2024

Publication Types

Select...
5
2

Relationship

1
6

Authors

Journals

citations
Cited by 16 publications
(13 citation statements)
references
References 9 publications
0
13
0
Order By: Relevance
“…
Prawitz (1971) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister (2019). This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic.
…”
mentioning
confidence: 56%
“…
Prawitz (1971) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister (2019). This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic.
…”
mentioning
confidence: 56%
“…And the result mentioned above (that there is a counter example to every proof-theoretic validity) is sufficient to prove the correctness of the conjecture. This is in contrast with how proof-theoretic validity was treated in Piecha and Schroeder-Heister (2019) where the sets of atomic rules, not the proof-theoretic systems, are treated analogously with models. This proposal avoids the problem we have identified above and is not subject to Piecha and Schroeder-Heister (2019) general result about superintuitionistic validates.…”
Section: The Role Of the Atomic Formulas Explainedmentioning
confidence: 96%
“…Here we will discuss how the set of atomic rules used in the definition affects what is proof-theoretically valid, as has been shown by a growing body of formal work (Sandqvist 2009, Piecha, Campos Sanz, and Schroeder-Heister 2015, Goldfarb 2016, Piecha and Schroeder-Heister 2019, Stafford 2021).…”
Section: Atomic Rules and Proof-theoretic Systemsmentioning
confidence: 99%
See 1 more Smart Citation
“…Tranchini, Pistone and Petrolo [23] show that the Russell-Prawitz translation of firstinto second-order logic preserves identity of proof with respect to a certain enriched system. Piecha and Schroeder-Heister [15] show that intuitionistic propositional logic is incomplete with respect to standard notions of prooftheoretic validity.…”
mentioning
confidence: 99%