Proof-theoretic semantic values for logical operators

DOI10.1017/S1755020311000098MaRDI QIDQ3096823zbMATH OpenFDO

Authors Nissim Francez, Gilad Ben-Avi

Publication date 14 November 2011

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

zbMATH Keywords

proof-theoretic semanticstype-logical grammarsemantic typessemantic valuesentential meaning

Mathematics Subject Classification ID

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

Recommendations

• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Proof-theoretic semantics for subsentential phrases
• Proof-theoretic semantics, a problem with negation and prospects for modality
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• Truth values and proof theory

Cites work

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

Cited in

(13)

• scientific article; zbMATH DE number 2209823 (Why is no real title available?)
• A proof-theoretic semantics for adjectival modification
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Truth values and proof theory
• On a distinction of two facets of meaning and its role in proof-theoretic semantics
• A more general general proof theory
• scientific article; zbMATH DE number 6787693 (Why is no real title available?)
• Semantic values for natural deduction derivations
• Harmony in multiple-conclusion natural-deduction
• Proof-theoretic semantics for subsentential phrases
• Bilateralism in proof-theoretic semantics
• Reprint of: ``A more general general proof theory
• Semantics for conditional literals via the SM operator

This page was built for publication: Proof-theoretic semantic values for logical operators

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