Browsing by Author Postniece (previously Buisman), Linda
Showing results 6 to 8 of 8
Deep Inference in Bi-intuitionistic Logic
Author(s) | Postniece (previously Buisman), Linda |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | June 21-24 2009 |
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
Taming displayed tense logics using nested sequents with deep inference
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | July 6-10 2009 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator