Views of proof-theoretic semantics: reified proof-theoretic meanings
From MaRDI portal
Publication:5739971
DOI10.1093/logcom/exu035zbMath1403.03113OpenAlexW2136491115MaRDI QIDQ5739971
Publication date: 7 July 2016
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exu035
Related Items (6)
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ A logic inspired by natural language: quantifiers as subnectors ⋮ A proof-theoretic semantics for adjectival modification ⋮ On harmony and permuting conversions ⋮ Does the Implication Elimination Rule Need a Minor Premise? ⋮ On a distinction of two facets of meaning and its role in proof-theoretic semantics
This page was built for publication: Views of proof-theoretic semantics: reified proof-theoretic meanings
