Amanote Research
Register
Sign In
An Intuitionistic Logic That Proves Markov's Principle
doi 10.1109/lics.2010.49
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2010
Authors
Hugo Herbelin
Publisher
IEEE
Related search
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Semantic Hierarchy for Intuitionistic Logic
Indagationes Mathematicae
Mathematics
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
Markov’s Principle and Subsystems of Intuitionistic Analysis
Journal of Symbolic Logic
Philosophy
Logic
Paraconsistent Logic and Weakening of Intuitionistic Negation
Journal of Intelligent Systems
Information Systems
Artificial Intelligence
Software
Between $Int_{\omega , \Omega}$ and Intuitionistic Propositional Logic
Logical Investigations
The Principle Type-Scheme of an Object in Combinatory Logic
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction
Journal of Symbolic Logic
Philosophy
Logic
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
