Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/List_of_logic_systems> ?p ?o }
Showing triples 1 to 80 of
80
with 100 triples per page.
- List_of_logic_systems abstract "This article contains a list of sample Hilbert-style deductive systems for propositional logic.".
- List_of_logic_systems wikiPageID "28748406".
- List_of_logic_systems wikiPageLength "17159".
- List_of_logic_systems wikiPageOutDegree "42".
- List_of_logic_systems wikiPageRevisionID "665105908".
- List_of_logic_systems wikiPageWikiLink Alfred_Tarski.
- List_of_logic_systems wikiPageWikiLink Alonzo_Church.
- List_of_logic_systems wikiPageWikiLink Argonne_National_Laboratory.
- List_of_logic_systems wikiPageWikiLink Bertrand_Russell.
- List_of_logic_systems wikiPageWikiLink Biconditional.
- List_of_logic_systems wikiPageWikiLink Bivalent_logic.
- List_of_logic_systems wikiPageWikiLink Bolesław_Sobociński.
- List_of_logic_systems wikiPageWikiLink Carew_Arthur_Meredith.
- List_of_logic_systems wikiPageWikiLink Category:Logical_calculi.
- List_of_logic_systems wikiPageWikiLink Category:Mathematical_logic.
- List_of_logic_systems wikiPageWikiLink Category:Philosophy-related_lists.
- List_of_logic_systems wikiPageWikiLink Category:Propositional_calculus.
- List_of_logic_systems wikiPageWikiLink Category:Systems_of_formal_logic.
- List_of_logic_systems wikiPageWikiLink Classical_logic.
- List_of_logic_systems wikiPageWikiLink Completeness_(logic).
- List_of_logic_systems wikiPageWikiLink Consistency.
- List_of_logic_systems wikiPageWikiLink David_Hilbert.
- List_of_logic_systems wikiPageWikiLink Deductive_system.
- List_of_logic_systems wikiPageWikiLink Elliott_Mendelson.
- List_of_logic_systems wikiPageWikiLink Excluded_middle.
- List_of_logic_systems wikiPageWikiLink Formal_system.
- List_of_logic_systems wikiPageWikiLink Functional_completeness.
- List_of_logic_systems wikiPageWikiLink Functionally_complete.
- List_of_logic_systems wikiPageWikiLink Gottlob_Frege.
- List_of_logic_systems wikiPageWikiLink Hilbert_system.
- List_of_logic_systems wikiPageWikiLink Implicational_propositional_calculus.
- List_of_logic_systems wikiPageWikiLink Inconsistent.
- List_of_logic_systems wikiPageWikiLink Ingebrigt_Johansson.
- List_of_logic_systems wikiPageWikiLink Intermediate_logic.
- List_of_logic_systems wikiPageWikiLink Intermediate_logics.
- List_of_logic_systems wikiPageWikiLink Intuitionistic_logic.
- List_of_logic_systems wikiPageWikiLink Jan_Łukasiewicz.
- List_of_logic_systems wikiPageWikiLink Jean_Nicod.
- List_of_logic_systems wikiPageWikiLink John_Arnold_Kalman.
- List_of_logic_systems wikiPageWikiLink Law_of_excluded_middle.
- List_of_logic_systems wikiPageWikiLink Logical_biconditional.
- List_of_logic_systems wikiPageWikiLink Logical_connective.
- List_of_logic_systems wikiPageWikiLink Minimal_logic.
- List_of_logic_systems wikiPageWikiLink Modus_ponens.
- List_of_logic_systems wikiPageWikiLink Mordechaj_Wajsberg.
- List_of_logic_systems wikiPageWikiLink Paul_Bernays.
- List_of_logic_systems wikiPageWikiLink Peirces_law.
- List_of_logic_systems wikiPageWikiLink Principle_of_bivalence.
- List_of_logic_systems wikiPageWikiLink Propositional_calculus.
- List_of_logic_systems wikiPageWikiLink Propositional_logic.
- List_of_logic_systems wikiPageWikiLink Rule_of_inference.
- List_of_logic_systems wikiPageWikiLink S._Winker.
- List_of_logic_systems wikiPageWikiLink Sheffer_stroke.
- List_of_logic_systems wikiPageWikiLink Sheffers_stroke.
- List_of_logic_systems wikiPageWikiLink Truth_table.
- List_of_logic_systems wikiPageWikiLink Truth_tables.
- List_of_logic_systems wikiPageWikiLinkText "List of logic systems#Implicational propositional calculus".
- List_of_logic_systems wikiPageWikiLinkText "positive propositional calculus".
- List_of_logic_systems hasPhotoCollection List_of_logic_systems.
- List_of_logic_systems wikiPageUsesTemplate Template:Citation_needed.
- List_of_logic_systems wikiPageUsesTemplate Template:Multiple_issues.
- List_of_logic_systems wikiPageUsesTemplate Template:Reflist.
- List_of_logic_systems wikiPageUsesTemplate Template:Unreferenced_section.
- List_of_logic_systems subject Category:Logical_calculi.
- List_of_logic_systems subject Category:Mathematical_logic.
- List_of_logic_systems subject Category:Philosophy-related_lists.
- List_of_logic_systems subject Category:Propositional_calculus.
- List_of_logic_systems subject Category:Systems_of_formal_logic.
- List_of_logic_systems type Article.
- List_of_logic_systems type List.
- List_of_logic_systems type Article.
- List_of_logic_systems type Field.
- List_of_logic_systems type List.
- List_of_logic_systems type Method.
- List_of_logic_systems comment "This article contains a list of sample Hilbert-style deductive systems for propositional logic.".
- List_of_logic_systems label "List of logic systems".
- List_of_logic_systems sameAs Q6626686.
- List_of_logic_systems sameAs Q6626686.
- List_of_logic_systems wasDerivedFrom List_of_logic_systems?oldid=665105908.
- List_of_logic_systems isPrimaryTopicOf List_of_logic_systems.