Open AccessCoq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic
Author(s) -
Renato Reis Leme,
G Venturi,
Bruno Lopes
Publication year - 2022
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/wbl.2022.223071
Subject(s) - fragment (logic) , intuitionistic logic , propositional variable , propositional calculus , well formed formula , computer science , intermediate logic , programming language , calculus (dental) , autoepistemic logic , zeroth order logic , description logic , multimodal logic , medicine , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom