Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
From MaRDI portal
Publication:2118969
DOI10.1007/s11225-021-09969-8OpenAlexW3205939693MaRDI QIDQ2118969
Publication date: 23 March 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-021-09969-8
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The epistemic significance of valid inference
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
- Intuitionism. An introduction
- Constructivism in mathematics. An introduction. Volume II
- Five observations concerning the intended meaning of the intuitionistic logical constants
- Untersuchungen über das logische Schliessen. I
- The seeming interdependence between the concepts of valid inference and proof
- Inference and epistemic transparency
- Dag Prawitz on proofs, operations and grounding
- Proof, meaning and paradox: some remarks
- Validity concepts in proof-theoretic semantics
- Failure of completeness in proof-theoretic semantics
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- A Critical Overview of the Most Recent Logics of Grounding
- A natural extension of natural deduction
- Meaning and proofs: on the conflict between classical and intuitionistic logic
- Explaining Deductive Inference
- Inferential Semantics
- A Notion of C-Justification for Empirical Statements
- An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
- Truth and Proof in Intuitionism
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
- Completeness in Proof-Theoretic Semantics
