Implications as rules in dialogical semantics

MaRDI QIDQ4919778zbMATH OpenFDO

Authors Thomas Piecha, Peter Schroeder-Heister

Publication date 15 May 2013

zbMATH Keywords

cutdialoguesproof-theoretic semanticsrulessequent calculus

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Implicit versus explicit knowledge in dialogical logic
• Four dialogue systems
• Non-normal dialogics for a wonderful world and more
• A curious dialogical logic and its composition problem

Cited in

(5)

• scientific article; zbMATH DE number 5129601 (Why is no real title available?)
• Material Implication and Conversational Implicature in Lvov-Warsaw School
• Content Implication and the Yablo’s Sequent of Sentences
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Proof-theoretic semantics: an autobiographical survey

This page was built for publication: Implications as rules in dialogical semantics

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