The role of negation in proof-theoretic semantics: a proposal

MaRDI QIDQ4903813zbMATH OpenFDO

Authors Luca Tranchini

Publication date 27 January 2013

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Proof-theoretic semantics, a problem with negation and prospects for modality
• Proof and falsity. A logical investigation
• Proof-theoretic semantics
• The original sin of proof-theoretic semantics
• Views of proof-theoretic semantics: reified proof-theoretic meanings

Cited in

(6)

• On a distinction of two facets of meaning and its role in proof-theoretic semantics
• Proof-theoretic semantics, a problem with negation and prospects for modality
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• Proof and falsity. A logical investigation
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
• On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics

This page was built for publication: The role of negation in proof-theoretic semantics: a proposal

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