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

Cached

Download Links

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