Intuitionistic logic

https://www.wikidata.org/wiki/Q176786

Field Hierarchy

Parent
Computer science 62.9M papers	Philosophy 22.7M papers	Mathematics 22.2M papers	Programming language 7.7M papers
Linguistics 7.3M papers	Discrete mathematics 696k papers	Theoretical computer science 626k papers	Propositional calculus 6,720 papers
Linear logic 2,128 papers		Dynamic logic (modal logic) 1 papers
Current
Intuitionistic logic 2,390 papers
Child
Heyting arithmetic 0 papers	De Morgan's laws 0 papers	Disjunction and existence properties 0 papers	Admissible rule 0 papers
Modal companion 0 papers		Provability logic 1 papers

Trends

Notes

History