The following pages link to Meaning approached via proofs (Q2500819):
Displaying 36 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193) (← links)
- Inferentializing semantics (Q975776) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Subatomic negation (Q2035849) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Radical anti-realism, Wittgenstein and the length of proofs (Q2268776) (← links)
- Truth as an epistemic notion (Q2339002) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- RULES FOR SUBATOMIC DERIVATION (Q3094185) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Noisy vs. Merely Equivocal Logics (Q4912985) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited (Q5251195) (← links)
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724) (← links)
- BOLZANO’S CONCEPT OF GROUNDING (<i>ABFOLGE</i>) AGAINST THE BACKGROUND OF NORMAL PROOFS (Q5402234) (← links)
- INTUITIONISTIC EPISTEMIC LOGIC (Q5741614) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)
- Comments on the contributions (Q6612881) (← links)
- Proof-theoretic semantics for natural language (Q6652778) (← links)
- On Dummett's pragmatist justification procedure (Q6652859) (← links)
