Proof-theoretic semantic values for logical operators

DOI10.1017/S1755020311000098zbMATH Open1248.03049MaRDI QIDQ3096823FDOQ3096823

Authors: Nissim Francez, Gilad Ben-Avi 

Publication date: 14 November 2011

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

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

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)

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

Cited In (13)

• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)