Proof-theoretic semantics for subsentential phrases

DOI10.1007/S11225-010-9241-YzbMATH Open1197.03031OpenAlexW2086460748MaRDI QIDQ969428FDOQ969428

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

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

Cited In (23)

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

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)