A curious dialogical logic and its composition problem

DOI10.1007/s10992-013-9307-1zbMath1317.03028arXiv1008.0080MaRDI QIDQ484198

Aleks Knoks, Sara L. Uckelman, Jesse Alama

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1008.0080

zbMATH Keywords

dialogue games; deductive closure; dialogue semantics; modus ponens closure

Mathematics Subject Classification ID

91A05: 2-person games

03B60: Other nonclassical logic

Related Items

A dialogical route to logical pluralism, A curious dialogical logic and its composition problem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First-order dialogical games and tableaux
• A curious dialogical logic and its composition problem
• Traditional logic, modern logic and natural language
• Cut and pay
• Lectures on the Curry-Howard isomorphism
• What is a non-truth-functional logic?
• Dialogues, strategies, and intuitionistic provability
• A game semantics for linear logic
• Negation as cancellation, and connexive logic
• On inference from inconsistent premisses
• Automated Reasoning with Analytic Tableaux and Related Methods
• Connexive implication
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Basic objectives of dialogue logic in historical perspective