Discover open access scientific publications

Search, annotate, share and cite publications

Publications by A.S. Troelstra

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Related publications

Natural Deduction for Hybrid Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems

Proceedings - IEEE International Conference on Robotics and Automation
ControlSystems EngineeringElectronic EngineeringElectricalArtificial IntelligenceSoftware
2007English

Research Perspectives for Logic and Deduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Semantic Hierarchy for Intuitionistic Logic

Indagationes Mathematicae
Mathematics
2019English

Deduction and Reduction Theorems for Inferential Erotetic Logic

Studia Logica
Philosophy of ScienceLogicHistory
2017English

Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction

Journal of Symbolic Logic
PhilosophyLogic
2018English

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems
Information SystemsArtificial IntelligenceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy