Linda Postniece

Available identifiers

zbMath Open postniece.lindaMaRDI QIDQ2904052

List of research outcomes

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	2011-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3086939	2011-03-30	Paper
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic	2010-02-19	Paper
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference	2009-12-01	Paper
Deep Inference in Bi-intuitionistic Logic	2009-07-02	Paper
An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)	2008-11-27	Paper

Research outcomes over time

This page was built for person: Linda Postniece