Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic

Renato R. Leme,Giorgio Venturi,Bruno Lopes

Anais do III Workshop Brasileiro de Lógica (WBL 2022)（2022）

引用 0|浏览1

暂无评分

摘要

In this paper, we describe a tableau system for reasoning about ecumenical propositional logic, and introduce the central definitions of its implementation in the Coq proof assistant.

查看译文

关键词

Argumentation Frameworks

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要