Editing Intuitionistic logic (section)

==External links==
*{{cite SEP
|last=Van Atten
|first=Mark
|date=4 May 2022
|title=The Development of Intuitionistic Logic
|url-id=intuitionistic-logic-development
}}

*{{cite book
|last=McCarty
|first=David Charles
|chapter=Intuitionism in Mathematics
|title=The Oxford Handbook of Philosophy of Mathematics and Logic
|date=2009
|editor1-last=Shapiro
|editor1-first=Stewart
|pages=356–386
|doi=10.1093/oxfordhb/9780195325928.003.0010
|isbn=978-0-19-532592-8
}}

* {{Cite SEP
|last=Moschovakis
|first=Joan
|date=16 December 2022
|title=Intuitionistic Logic
|url-id=logic-intuitionistic
}}

*{{cite web
|publisher=Laboratoire d'Informatique de [[Grenoble]]
|title=Tableaux'method for intuitionistic logic through S4-translation
|url=http://teachinglogic.liglab.fr/INT1/index.php
|quote= tests the intuitionistic validity of propositional formulae
}}

{{Non-classical logic}}

{{Authority control}}

[[Category:Logic in computer science]]
[[Category:Non-classical logic]]
[[Category:Constructivism (mathematics)]]
[[Category:Systems of formal logic]]
[[Category:Intuitionism]]