On a distinction of two facets of meaning and its role in proof-theoretic semantics
From MaRDI portal
Publication:2342803
DOI10.1007/s11787-015-0118-8zbMath1376.03008OpenAlexW1997503903WikidataQ56444587 ScholiaQ56444587MaRDI QIDQ2342803
Publication date: 29 April 2015
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-015-0118-8
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- Proof-theoretic semantics for subsentential phrases
- Against the identification of assertoric content with compositional value
- PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
- HOW A SEMANTICS FOR TONK SHOULD BE
- Proof-Theoretic Semantics for a Natural Language Fragment
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
- Views of proof-theoretic semantics: reified proof-theoretic meanings
This page was built for publication: On a distinction of two facets of meaning and its role in proof-theoretic semantics