Constructive semantics, admissibility of rules and the validity of Peirce's law

, &
Logic Journal of the IGPL 22 (2):297-308 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzt029

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,042

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Prawitz's completeness conjecture: A reassessment.Peter Schroeder-Heister - forthcoming - Theoria.
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
Inversion by definitional reflection and the admissibility of logical rules.Wagner Campos Sanz & Thomas Piecha - 2009 - Review of Symbolic Logic 2 (3):550-569.
Inversion by definitional reflection and the admissibility of logical rules: Inversion by definitional reflection.Wagner De Campos Sanz - 2009 - Review of Symbolic Logic 2 (3):550-569.
The Validity of Inference and Argument.Dag Prawitz - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 135-160.
P. SCHROEDER-HEISTER and K. DOŠEN "Substructural Logics". [REVIEW]A. Urquhart - 1995 - History and Philosophy of Logic 16 (1):138.
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.Will Stafford & Victor Nascimento - 2023 - Analysis 83 (3):507-516.
Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.

Analytics

Added to PP
2016-06-30

Downloads
30 (#599,771)

6 months
15 (#317,982)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.

View all 8 citations / Add more citations

References found in this work

On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.

Add more references