Dialogue Games for Minimal Logic

DOI10.12775/LLP.2020.022OpenAlexW3100247777MaRDI QIDQ5013625

Alexandra Pavlova

Publication date: 2 December 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2020.022

zbMATH Keywords

dialogue logicsequent calculiminimal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD

Cites Work

• First-order dialogical games and tableaux
• Dialogues, strategies, and intuitionistic provability
• Untersuchungen über das logische Schliessen. I
• The dialogical approach to paraconsistency
• Logic and the modalities in the twentieth century
• Automated Reasoning with Analytic Tableaux and Related Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item