Concepedia

Linda Postniece

LP

Statistics

Publications

4

Citations

127

H-Index

4

Active since

2008

Affiliations

Australian National University(Current)

Linda Postniece is an author at Australian National University specializing in engineering, computer science, and automated reasoning.

Top concepts

Publications per year

2008–2011

4

Publications

4

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic

Rajeev Goré, Linda Postniece · Journal of Logic and Computation · 2008 · 42 citations

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

Rajeev Goré, Linda Postniece, Alwen Tiu · Logical Methods in Computer Science · 2011 · 36 citations · Full text

, , +21

Cut-elimination and proof-search for bi-intutionistic logic using nested sequents

Rajeev Goré, Linda Postniece, Alwen Tiu · ANU Open Research (Australian National University) · 2008 · 28 citations · Full text

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

Rajeev Goré, Linda Postniece, Alwen Tiu · arXiv (Cornell University) · 2010 · 21 citations · Full text

, , +12

1–4 of 4