Markov’s Principle and Subsystems of Intuitionistic Analysis

Journal of Symbolic Logic - United Kingdom
doi 10.1017/jsl.2019.7
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

An Intuitionistic Logic That Proves Markov's Principle

2010English

Intuitionistic Fuzzy Alpha-Continuity and Intuitionistic Fuzzy Precontinuity

International Journal of Mathematics and Mathematical Sciences
Mathematics
2005English

Intuitionistic Sets and Ordinals

Journal of Symbolic Logic
PhilosophyLogic
1996English

E-Unification for Subsystems of S4

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

THERMODYNAMICS DEFECTIVE SUBSYSTEMS AND ELECTRICAL PROPERTIES OF CRYSTALS CdTe:I

Sensor Electronics and Microsystem Technologies
2010English

On Intuitionistic Fuzzy Negations and Intuitionistic Fuzzy Extended Modal Operators. Part 2.

2008English

The Sure-Thing Principle and the Comonotonic Sure-Thing Principle: An Axiomatic Analysis

Journal of Mathematical Economics
Applied MathematicsEconomicsEconometrics
1996English

Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems
Information SystemsArtificial IntelligenceSoftware
2012English

On the Analysis of Youth Slang as One of the Subsystems of Modern Russian and English Languages

SHS Web of Conferences
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy