Intuitionistic

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Intuitionistic Fuzzy Sets

Intuitionistic Logic

Intuitionistic Type Theory

Related Phrases

Admissible Rule

Classical Logic

Constructive Mathematics

Curry–howard Correspondence

Giorgi Japaridze

Heyting Algebras

Lambda Calculus

Logical Connective

Simply Typed Lambda

Related Words