Intuitionistic logic

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

Field Hierarchy

Parent
Computer science 61.9M papers	Philosophy 22.3M papers	Mathematics 21.8M papers	Programming language 7.6M papers
Linguistics 7.2M papers	Discrete mathematics 685k papers	Theoretical computer science 609k papers	Propositional calculus 6,675 papers
Linear logic 2,113 papers		Dynamic logic (modal logic) 1 papers
Current
Intuitionistic logic 2,365 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