Proof-theoretic semantics for subsentential phrases

DOI10.1007/S11225-010-9241-YMaRDI QIDQ969428zbMATH OpenOpenAlexFDO

Authors Nissim Francez, Roy Dyckhoff, Gilad Ben-Avi

Publication date 7 May 2010

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-010-9241-y

zbMATH Keywords

proof-theoretic semanticsnatural languageFrege's context principleproof-theoretic type interpretationsubsentential phrase

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Proof-theoretic semantics for a natural language fragment
• On a distinction of two facets of meaning and its role in proof-theoretic semantics
• Proof-theoretic semantic values for logical operators
• Proof-theoretic semantics

Cites work

• Formal features of compositionality
• Proof-theoretic semantic values for logical operators
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Syllogistic logics with verbs

Cited in

(23)

• Proof-theoretic semantics for natural language
• The granularity of meaning in proof-theoretic semantics
• Truth-conditional cognitivism and the lexical problem
• Rules for subatomic derivation
• Proof-theoretic semantic values for logical operators
• A note on harmony
• On a distinction of two facets of meaning and its role in proof-theoretic semantics
• scientific article; zbMATH DE number 6819811 (Why is no real title available?)
• Harmony in multiple-conclusion natural-deduction
• Proof-theoretic semantics for a natural language fragment
• Logic for Programming, Artificial Intelligence, and Reasoning
• A proof-theoretic semantics for adjectival modification
• Proof-theoretic semantics for subsentential phrases
• A proof-theoretic universal property of determiners
• A generalized syllogistic inference system based on inclusion and exclusion relations
• Constructive belief reports
• Prawitz, Proofs, and Meaning
• A logic inspired by natural language: quantifiers as subnectors
• Toward the formulation of presupposition by illative combinatory logic
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Proof-theoretic semantics

This page was built for publication: Proof-theoretic semantics for subsentential phrases

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