Meaning and proofs: on the conflict between classical and intuitionistic logic
From MaRDI portal
(Redirected from Publication:4133922)
Cited in
(39)- On reduction rules, meaning-as-use, and proof-theoretic semantics
- An interpretation of classical proofs
- The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
- Intuitionistic truth
- Classical harmony: Rules of inference and the meaning of the logical constants
- Harmony and autonomy in classical logic
- Five observations concerning the intended meaning of the intuitionistic logical constants
- On the equivalence conjecture for proof-theoretic harmony
- Classical harmony and separability
- Game of grounds
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
- Calculi of epistemic grounding based on Prawitz's theory of grounds
- What is a relevant connective?
- Introduction: Inferences and proofs
- Dag Prawitz on proofs, operations and grounding
- Manifestability and epistemic truth
- Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology
- Fitch's paradox and probabilistic antirealism
- Towards a semantics based on the notion of justification
- The original sin of proof-theoretic semantics
- Antirealism, meaning and truth-conditional semantics
- Game semantics and the manifestation thesis
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- Verificationism and Classical Realizability
- Dummett's case for intuitionism
- Logical consequence and the paradoxes
- A notion of \(C\)-justification for empirical statements
- Proofs, reasoning and the metamorphosis of logic
- Program testing and the meaning explanations of intuitionistic type theory
- Why conclusions should remain single
- From the knowability paradox to the existence of proofs
- Rethinking logical disagreements: a critique of verbalism and a normative constraints approach
- Grounding operators: transitivity and trees, logicality and balance
- Of marriage and mathematics: inferentialism and social ontology
- Assertion, assumption, and deduction
- Kuhn’s World Change and Mathematical Intuitionism
- Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
- Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
This page was built for publication: Meaning and proofs: on the conflict between classical and intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133922)
