Focused Proof-search in the Logic of Bunched Implications (Accepted) (2021)

First Author: Gheorghiu A
Attributed to:  A coalgebraic framework for reductive logic and proof-search (ReLiC) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/pdf/2010.08352.pdf

Type: Conference/Paper/Proceeding/Abstract