Proof-Theoretic Semantics for a Natural Language Fragment
From MaRDI portal
Publication:3584997
DOI10.1007/978-3-642-14322-9_6zbMath1286.03113MaRDI QIDQ3584997
Publication date: 31 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14322-9_6
Related Items
The Epistemology of Computer-Mediated Proofs, Prawitz, Proofs, and Meaning, SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES, A note on harmony, Bilateralism in proof-theoretic semantics, A logic inspired by natural language: quantifiers as subnectors, Constructive belief reports, A proof-theoretic semantics for adjectival modification, A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions, A proof-theoretic universal property of determiners, Proof-theoretic semantics for subsentential phrases, Subatomic natural deduction for a naturalistic first-order language with non-primitive identity, Harmony in multiple-conclusion natural-deduction, On a distinction of two facets of meaning and its role in proof-theoretic semantics, Logics for Two Fragments beyond the Syllogistic Boundary
Uses Software