Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by L. Postniece
Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction
Journal of Symbolic Logic
Philosophy
Logic
Towards a Cut-Free Sequent Calculus for Boolean BI
A Semantic Hierarchy for Intuitionistic Logic
Indagationes Mathematicae
Mathematics
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
Completeness and Herbrand Theorems for Nominal Logic
Journal of Symbolic Logic
Philosophy
Logic
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Paraconsistent Logic and Weakening of Intuitionistic Negation
Journal of Intelligent Systems
Information Systems
Artificial Intelligence
Software
Errata: ``The Completeness Theorems for Some Intuitionistic Logics in Terms of Interval Semantics''
Publications of the Research Institute for Mathematical Sciences
Mathematics
