Proof theory and meaning: on the context of deducibility

MaRDI QIDQ3079697zbMATH OpenFDO

Authors Greg Restall

Publication date 2 March 2011

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Proof-theoretic semantics
• Views of proof-theoretic semantics: reified proof-theoretic meanings
• Inferentializing semantics

Cited in

(10)

• On the meaning of ‘therefore’
• Prawitz, Proofs, and Meaning
• On the concept of proof
• Logical analysis of definitional deduction
• Proof, meaning and paradox: some remarks
• Prior and Belnap
• Meaning approached via proofs
• The context of inference
• Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants
• Dag Prawitz on proofs, operations and grounding

This page was built for publication: Proof theory and meaning: on the context of deducibility

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