Inconsistency-adaptive dialogical logic

DOI10.1007/s11787-016-0139-yzbMath1362.03025OpenAlexW2330860722MaRDI QIDQ263112

Mathieu Beirlaen, Matthieu Fontaine

Publication date: 4 April 2016

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-016-0139-y

zbMATH Keywords

non-monotonic logicadaptive logicdialogical logicformal argumentationparaconsistent logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) Combined logics (03B62)

Cites Work

• Unnamed Item
• 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 universal logic approach to adaptive logics
• The dialogical approach to paraconsistency
• Propositional calculus for contradictory deductive systems
• Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach
• Towards the unification of inconsistency handling mechanisms
• Tutorial on Inconsistency-Adaptive Logics
• Linking Game-Theoretical Approaches with Constructive Type Theory
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Paraconsistency and dialogue logic critical examination and further explorations
• Dialogical connexive logic