Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents (2008)

Cached

Download Links

by Rajeev Goré, Linda Postniece , Alwen Tiu
Citations:11 - 3 self