Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

From MaRDI portal

MaRDI QIDQ6531908arXivFDO

Authors Tim S. Lyon, Ian Shillito, Alwen Tiu

Published in arXiv

















This page was built for publication: Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6531908)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Taking_Bi-Intuitionistic_Logic_First-Order:_A_Proof-Theoretic_Investigation_via_Polytree_Sequents&oldid=103509866"
Powered by MediaWiki