A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
Nested Sequents for Intuitionistic Logics
Notre Dame Journal of Formal Logic
Nested sequent systems for modal logics were introduced by Kai Brünnler, and have come to be seen as an attractive deep reasoning extension of familiar sequent calculi. In an earlier paper I showed there was a connection between modal nested sequents and modal prefixed tableaus. In this paper I extend the nested sequent machinery to intuitionistic logic, both standard and constant domain, and relate the resulting sequent calculi to intuitionistic prefixed tableaus. Modal nested sequentdoi:10.1215/00294527-2377869 fatcat:mvzag4fwufdqphjr2f3hgscemq