Intuitionistic Logic
Home
>
Philosophy
>
Philosophy of Mathematics
>
Intuitionism and Formalism
>
Intuitionistic Logic
A formal logical system that is based on intuitionistic principles of reasoning.