Intuitionistic logic

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual Academic discipline System of formal logic Mathematical proof
rdfs:label	Intuitionistic logic
owl:sameAs	dbr:Intuitionistic_logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Intermediate_logic http://en.wikipedia.org/wiki/Category:Systems_of_formal_logic http://en.wikipedia.org/wiki/Mathematical_analysis http://en.wikipedia.org/wiki/Abstract_algebraic_logic http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q) http://en.wikipedia.org/wiki/List_of_academic_fields http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Outline_of_philosophy http://en.wikipedia.org/wiki/Intuitionism http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Outline_of_academic_disciplines http://en.wikipedia.org/wiki/Algebraic_logic http://en.wikipedia.org/wiki/List_of_mathematical_proofs http://en.wikipedia.org/wiki/Non-classical_logic http://en.wikipedia.org/wiki/Institution_(computer_science) http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence http://en.wikipedia.org/wiki/First-order_logic
skos:prefLabel	Intuitionistic logic
skos:altLabel	intuitionist intuitionistic logic negation constructive Intuitionist intuitionism intuitionistic intuitionistically Intuitionistic Intuitionistic Logic Intuitionistic first-order logic Intuitionistic linear logic Intuitionistic logic#Axiomatization Intuitionistic_logic#Semantics axioms of intuitionistic logic intuitionist logic intuitionistic (constructive) logic intuitionistic propositional calculus intuitionistic propositional logic intuitionists
is clgo:knownFor of	Joan Moschovakis Arend Heyting

About: clgr:Intuitionistic_logic