Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969): Difference between revisions

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