PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS

DOI10.1017/S1755020311000098zbMath1248.03049MaRDI QIDQ3096823

Gilad Ben-Avi, Nissim Francez

Publication date: 14 November 2011

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

type-logical grammarproof-theoretic semanticssemantic typessemantic valuesentential meaning

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (7)

A more general general proof theory ⋮ Reprint of: ``A more general general proof theory ⋮ Bilateralism in proof-theoretic semantics ⋮ A proof-theoretic semantics for adjectival modification ⋮ Harmony in multiple-conclusion natural-deduction ⋮ Proof-theoretic semantics for subsentential phrases ⋮ On a distinction of two facets of meaning and its role in proof-theoretic semantics

Cites Work

• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Proof-theoretic semantics for subsentential phrases
• Formal features of compositionality

This page was built for publication: PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS