Intuitionistic

This gives rise to set theories such as Intuitionistic Zermelo-Fraenkel,

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

Intuitionistic arithmetic can consistently be extended by axioms

Intuitionistic Logic Moschovakis, Joan 2007

Intuitionistic logic encompasses the principles of logical reasoning which were used by L.E. J. Brouwer in developing his intuitionistic mathematics, beginning in [1907].

Intuitionistic Logic Moschovakis, Joan 2007

Intuitionistic systems have inspired a variety of interpretations, including Beth's tableaus, Rasiowa and Sikorski's topological models, formulas-as-types, Kleene's recursive realizabilities, and the Kleene and Aczel slashes.

Intuitionistic Logic Moschovakis, Joan 2007

Intuitionistic logic does not sanction the inference in question (see, for example Dummett [1977]), but, again, classical logic does.

Classical Logic Shapiro, Stewart 2000

Variants of Constructive and Intuitionistic Set Theories: Set Theories with Urelements and Non-extensional Set Theories

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

“Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth”,

Facts Mulligan, Kevin 2007

Intuitionistic Number Theory (Heyting Arithmetic) 4.

Intuitionistic Logic Moschovakis, Joan 2007

“An Interpretation of the Intuitionistic Propositional Calculus,” in Gödel, K.,

Provability Logic L.C. 2003

1927, "Intuitionistic reflections on formalism," originally published in 1927, English translation in van Heijenoort, ed.,

Intuitionistic Logic Moschovakis, Joan 2007