Open AccessCoq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic
Author(s) -
Renato Reis Leme,
G Venturi,
Bruno Silvester Lopes
Publication year - 2022
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/wbl.2022.223071
Subject(s) - fragment (logic) , programming language , computer science , intuitionistic logic , propositional variable , propositional calculus , intermediate logic , description logic