Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Intermediate_logic> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Intermediate_logic abstract "In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).".
- Intermediate_logic wikiPageID "769022".
- Intermediate_logic wikiPageLength "6844".
- Intermediate_logic wikiPageOutDegree "35".
- Intermediate_logic wikiPageRevisionID "669455498".
- Intermediate_logic wikiPageWikiLink Atom_(order_theory).
- Intermediate_logic wikiPageWikiLink Cardinality_of_the_continuum.
- Intermediate_logic wikiPageWikiLink Category:Non-classical_logic.
- Intermediate_logic wikiPageWikiLink Category:Propositional_calculus.
- Intermediate_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Intermediate_logic wikiPageWikiLink Classical_logic.
- Intermediate_logic wikiPageWikiLink Complete_lattice.
- Intermediate_logic wikiPageWikiLink Dana_Scott.
- Intermediate_logic wikiPageWikiLink De_Morgans_laws.
- Intermediate_logic wikiPageWikiLink Finite_set.
- Intermediate_logic wikiPageWikiLink General_frame.
- Intermediate_logic wikiPageWikiLink Georg_Kreisel.
- Intermediate_logic wikiPageWikiLink Greatest_element.
- Intermediate_logic wikiPageWikiLink Heyting_algebra.
- Intermediate_logic wikiPageWikiLink Hilary_Putnam.
- Intermediate_logic wikiPageWikiLink Intuitionistic_logic.
- Intermediate_logic wikiPageWikiLink Kripke_semantics.
- Intermediate_logic wikiPageWikiLink Kurt_Gödel.
- Intermediate_logic wikiPageWikiLink Law_of_excluded_middle.
- Intermediate_logic wikiPageWikiLink Lindenbaum–Tarski_algebra.
- Intermediate_logic wikiPageWikiLink Mathematical_logic.
- Intermediate_logic wikiPageWikiLink Michael_Dummett.
- Intermediate_logic wikiPageWikiLink Modal_logic.
- Intermediate_logic wikiPageWikiLink Modus_ponens.
- Intermediate_logic wikiPageWikiLink Partially_ordered_set.
- Intermediate_logic wikiPageWikiLink Propositional_calculus.
- Intermediate_logic wikiPageWikiLink Propositional_formula.
- Intermediate_logic wikiPageWikiLink Realizability.
- Intermediate_logic wikiPageWikiLink Total_order.
- Intermediate_logic wikiPageWikiLink Upper_set.
- Intermediate_logic wikiPageWikiLink V._A._Jankov.
- Intermediate_logic wikiPageWikiLink Yuri_T._Medvedev.
- Intermediate_logic wikiPageWikiLinkText "De Morgan logic".
- Intermediate_logic wikiPageWikiLinkText "Gödel logic".
- Intermediate_logic wikiPageWikiLinkText "Gödel–Dummett intermediate logic".
- Intermediate_logic wikiPageWikiLinkText "Gödel–Dummett logic".
- Intermediate_logic wikiPageWikiLinkText "Intermediate logic".
- Intermediate_logic wikiPageWikiLinkText "Medvedev's logic".
- Intermediate_logic wikiPageWikiLinkText "Smetanich's logic".
- Intermediate_logic wikiPageWikiLinkText "Superintuitionistic (aka intermediate) logic".
- Intermediate_logic wikiPageWikiLinkText "intermediate logic".
- Intermediate_logic wikiPageWikiLinkText "intermediate".
- Intermediate_logic wikiPageWikiLinkText "superintuitionistic".
- Intermediate_logic wikiPageUsesTemplate Template:As_of.
- Intermediate_logic wikiPageUsesTemplate Template:Citation_needed.
- Intermediate_logic wikiPageUsesTemplate Template:Main.
- Intermediate_logic wikiPageUsesTemplate Template:Nowrap_begin.
- Intermediate_logic wikiPageUsesTemplate Template:Nowrap_end.
- Intermediate_logic subject Category:Non-classical_logic.
- Intermediate_logic subject Category:Propositional_calculus.
- Intermediate_logic subject Category:Systems_of_formal_logic.
- Intermediate_logic hypernym Logic.
- Intermediate_logic comment "In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).".
- Intermediate_logic label "Intermediate logic".
- Intermediate_logic sameAs Q5361594.
- Intermediate_logic sameAs 초직관_논리.
- Intermediate_logic sameAs Lógica_intermediária.
- Intermediate_logic sameAs m.039z9v.
- Intermediate_logic sameAs Q5361594.
- Intermediate_logic sameAs 中间逻辑.
- Intermediate_logic wasDerivedFrom Intermediate_logic?oldid=669455498.
- Intermediate_logic isPrimaryTopicOf Intermediate_logic.