About: Intermediate logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Propositional logic extending intuitionistic logic

Property	Value
dbo:description	propositional logic extending intuitionistic logic (en)
dbo:wikiPageExternalLink	https://www.jstor.org/stable/pdf/2964756.pdf%3Fcasa_token=WFCaxOvlFq8AAAAA:KAW5jhw3_s0nn5NHh9dqRWIozEXyJHu7O5JNehJngE9CBWUtXwh1CWcerYBDhanQiwhqdzl54EUqV1DrnYNXddJjptB4ZeKL-aPtwKX_QMlTHDx_WPfiUw
dbo:wikiPageWikiLink	dbc:Non-classical_logic dbr:Classical_logic dbr:Finite_set dbr:Georg_Kreisel dbc:Propositional_calculus dbr:Dana_Scott dbr:Peirce's_law dbr:Propositional_logic dbr:Propositional_formula dbr:Heyting_algebra dbr:Complete_lattice dbr:Modus_ponens dbr:Kripke_semantics dbr:Modal_logic dbr:Lindenbaum–Tarski_algebra dbr:Intuitionistic_logic dbr:Upper_set dbr:Atom_(order_theory) dbr:Kurt_Gödel dbc:Systems_of_formal_logic dbr:Alfred_Tarski dbr:Michael_Dummett dbr:Mathematical_logic dbr:Partially_ordered_set dbr:Hilary_Putnam dbr:Realizability dbr:De_Morgan's_laws dbr:Total_order dbr:Cardinality_of_the_continuum dbr:General_frame dbr:Journal_of_Symbolic_Logic dbr:Bottom_element dbr:Kripke_frame dbr:Consistent dbr:V._A._Jankov dbr:Yuri_T._Medvedev dbr:Excluded_middle dbr:List_of_logic_systems
dbp:id	Intermediate_logic (en)
dbp:title	Intermediate logic (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:SpringerEOM dbt:Cite_journal dbt:Sfn dbt:Nowrap_end dbt:Nowrap_begin dbt:Citation_needed dbt:Non-classical_logic dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Propositional_calculus dbc:Systems_of_formal_logic
gold:hypernym	dbr:Logic
rdfs:label	Intermediate logic (en) 초직관 논리 (ko) 中間論理 (ja) Lógica intermediária (pt) 中间逻辑 (zh)
owl:sameAs	freebase:Intermediate logic yago-res:Intermediate logic wikidata:Intermediate logic dbpedia-zh:Intermediate logic dbpedia-ja:Intermediate logic dbpedia-pt:Intermediate logic dbpedia-fa:Intermediate logic dbpedia-ko:Intermediate logic dbpedia-global:Intermediate logic
prov:wasDerivedFrom	wikipedia-en:Intermediate_logic?oldid=1287157625&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Intermediate_logic
is dbo:knownFor of	dbr:Georg_Kreisel
is dbo:wikiPageRedirects of	dbr:Kreisel–Putnam_logic dbr:Kreisel–Putnam_logic dbr:Gödel–Dummett_logic dbr:Kreisel-Putnam_logic dbr:Intermediate_logics dbr:Gödel-Dummett_logic dbr:Superintuitionistic_logic
is dbo:wikiPageWikiLink of	dbr:Admissible_rule dbr:Outline_of_philosophy dbr:Field_of_sets dbr:Peirce's_law dbr:Minimal_logic dbr:Proof_theory dbr:Heyting_algebra dbr:Index_of_logic_articles dbr:Intuitionistic_logic dbr:Kurt_Gödel dbr:Contradiction dbr:Three-valued_logic dbr:Michael_Dummett dbr:Structural_proof_theory dbr:T-norm_fuzzy_logics dbr:De_Morgan's_laws dbr:Kreisel–Putnam_logic dbr:General_frame dbr:Hypersequent dbr:Outline_of_logic dbr:Modal_companion dbr:Infinite-valued_logic dbr:Inquisitive_semantics dbr:Gödel–Dummett_logic dbr:Kreisel-Putnam_logic dbr:Intermediate_logics dbr:Gödel-Dummett_logic dbr:Superintuitionistic_logic
is dbp:knownFor of	dbr:Georg_Kreisel
is foaf:primaryTopic of	wikipedia-en:Intermediate_logic