Intermediate logic

Property	Value
rdf:type	owl:NamedIndividual System of formal logic
rdfs:label	Intermediate logic
owl:sameAs	dbr:Intermediate_logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Systems_of_formal_logic http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Outline_of_philosophy http://en.wikipedia.org/wiki/T-norm_fuzzy_logics
skos:prefLabel	Intermediate logic
skos:altLabel	intermediate Gödel logic '''LC''' :Intermediate logic De Morgan logic Gödel–Dummett intermediate logic Gödel–Dummett logic Medvedev's logic Smetanich's logic Superintuitionistic (aka intermediate) logic intermediate logic superintuitionistic
is clgo:knownFor of	Kurt Gödel Georg Kreisel
is clgo:notableIdea of	Michael Dummett

About: clgr:Intermediate_logic