Linda Postniece
From MaRDI portal
Person:2904052
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Cut-elimination and proof search for bi-intuitionistic tense logic | 2012-08-05 | Paper |
| On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics Logical Methods in Computer Science | 2011-05-26 | Paper |
| Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents | 2011-03-30 | Paper |
| Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic Journal Of Logic And Computation | 2010-02-19 | Paper |
| Taming displayed tense logics using nested sequents with deep inference Lecture Notes in Computer Science | 2009-12-01 | Paper |
| Deep Inference in Bi-intuitionistic Logic Logic, Language, Information and Computation | 2009-07-02 | Paper |
| An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) Automated Reasoning | 2008-11-27 | Paper |
Research outcomes over time
This page was built for person: Linda Postniece
