Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Untersuchungen über das logische Schliessen. I
The epistemic significance of valid inference
Intuitionism. An introduction
Inferential Semantics
Constructivism in mathematics. An introduction. Volume II
Validity concepts in proof-theoretic semantics
A natural extension of natural deduction
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
Proof, meaning and paradox: some remarks
Meaning and proofs: on the conflict between classical and intuitionistic logic
Failure of completeness in proof-theoretic semantics
An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
Truth and Proof in Intuitionism
Five observations concerning the intended meaning of the intuitionistic logical constants
Completeness in Proof-Theoretic Semantics
Explaining Deductive Inference
A Critical Overview of the Most Recent Logics of Grounding
A Notion of C-Justification for Empirical Statements
Inference and epistemic transparency
Dag Prawitz on proofs, operations and grounding
The seeming interdependence between the concepts of valid inference and proof

This page was built for publication: Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118969)