Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Abstract_algebraic_logic> ?p ?o }
Showing triples 1 to 93 of
93
with 100 triples per page.
- Abstract_algebraic_logic abstract "In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systemsarising as an abstraction of the well-known Lindenbaum-Tarski algebra, and how the resulting algebras are related to logical systems.".
- Abstract_algebraic_logic wikiPageExternalLink Font-altresPre329.pdf.
- Abstract_algebraic_logic wikiPageExternalLink font.pdf.
- Abstract_algebraic_logic wikiPageExternalLink dpigozzi.
- Abstract_algebraic_logic wikiPageExternalLink consequence-algebraic.
- Abstract_algebraic_logic wikiPageExternalLink 1235416965.
- Abstract_algebraic_logic wikiPageID "4613861".
- Abstract_algebraic_logic wikiPageLength "8310".
- Abstract_algebraic_logic wikiPageOutDegree "68".
- Abstract_algebraic_logic wikiPageRevisionID "681889079".
- Abstract_algebraic_logic wikiPageWikiLink Abstract_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Abstract_algebraic_hierarchy.
- Abstract_algebraic_logic wikiPageWikiLink Abstract_model_theory.
- Abstract_algebraic_logic wikiPageWikiLink Adolf_Lindenbaum.
- Abstract_algebraic_logic wikiPageWikiLink Alfred_Tarski.
- Abstract_algebraic_logic wikiPageWikiLink Algebraic_logic.
- Abstract_algebraic_logic wikiPageWikiLink Association_for_Symbolic_Logic.
- Abstract_algebraic_logic wikiPageWikiLink Axiomatic_set_theories.
- Abstract_algebraic_logic wikiPageWikiLink Boolean_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Boolean_algebra_(structure).
- Abstract_algebraic_logic wikiPageWikiLink Category:Algebraic_logic.
- Abstract_algebraic_logic wikiPageWikiLink Combinatory_logic.
- Abstract_algebraic_logic wikiPageWikiLink Complemented_lattice.
- Abstract_algebraic_logic wikiPageWikiLink Cylindric_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Deduction_theorem.
- Abstract_algebraic_logic wikiPageWikiLink Deductive_system.
- Abstract_algebraic_logic wikiPageWikiLink Donald_Pigozzi.
- Abstract_algebraic_logic wikiPageWikiLink Ernst_Schröder.
- Abstract_algebraic_logic wikiPageWikiLink Field_(mathematics).
- Abstract_algebraic_logic wikiPageWikiLink First-order_logic.
- Abstract_algebraic_logic wikiPageWikiLink Formal_system.
- Abstract_algebraic_logic wikiPageWikiLink George_Boole.
- Abstract_algebraic_logic wikiPageWikiLink Group_(mathematics).
- Abstract_algebraic_logic wikiPageWikiLink Hajnal_Andréka.
- Abstract_algebraic_logic wikiPageWikiLink Helena_Rasiowa.
- Abstract_algebraic_logic wikiPageWikiLink Heyting_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Hierarchy_(mathematics).
- Abstract_algebraic_logic wikiPageWikiLink Intuitionistic_logic.
- Abstract_algebraic_logic wikiPageWikiLink István_Németi.
- Abstract_algebraic_logic wikiPageWikiLink Janusz_Czelakowski.
- Abstract_algebraic_logic wikiPageWikiLink Jerzy_Łoś.
- Abstract_algebraic_logic wikiPageWikiLink Lattice_(order).
- Abstract_algebraic_logic wikiPageWikiLink Leibniz_operator.
- Abstract_algebraic_logic wikiPageWikiLink Lindenbaum-Tarski_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Lindenbaum–Tarski_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Mathematical_Reviews.
- Abstract_algebraic_logic wikiPageWikiLink Mathematical_logic.
- Abstract_algebraic_logic wikiPageWikiLink Modal_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Modal_logic.
- Abstract_algebraic_logic wikiPageWikiLink Model_theory.
- Abstract_algebraic_logic wikiPageWikiLink Module_(mathematics).
- Abstract_algebraic_logic wikiPageWikiLink Polyadic_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Predicate_functor_logic.
- Abstract_algebraic_logic wikiPageWikiLink Project_Euclid.
- Abstract_algebraic_logic wikiPageWikiLink Propositional_calculus.
- Abstract_algebraic_logic wikiPageWikiLink Propositional_logic.
- Abstract_algebraic_logic wikiPageWikiLink Relation_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Ring_(mathematics).
- Abstract_algebraic_logic wikiPageWikiLink Roman_Sikorski.
- Abstract_algebraic_logic wikiPageWikiLink Roman_Suszko.
- Abstract_algebraic_logic wikiPageWikiLink Set_theory.
- Abstract_algebraic_logic wikiPageWikiLink Signature_(logic).
- Abstract_algebraic_logic wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Abstract_algebraic_logic wikiPageWikiLink Unary_operation.
- Abstract_algebraic_logic wikiPageWikiLink Universal_algebra.
- Abstract_algebraic_logic wikiPageWikiLink Universal_logic.
- Abstract_algebraic_logic wikiPageWikiLink Variety_(universal_algebra).
- Abstract_algebraic_logic wikiPageWikiLink Willem_Blok.
- Abstract_algebraic_logic wikiPageWikiLinkText "Abstract algebraic logic".
- Abstract_algebraic_logic wikiPageWikiLinkText "abstract algebraic logic".
- Abstract_algebraic_logic wikiPageWikiLinkText "algebraically".
- Abstract_algebraic_logic hasPhotoCollection Abstract_algebraic_logic.
- Abstract_algebraic_logic id "Abstract_algebraic_logic".
- Abstract_algebraic_logic oldid "21268".
- Abstract_algebraic_logic title "Abstract algebraic logic".
- Abstract_algebraic_logic wikiPageUsesTemplate Template:Cite_book.
- Abstract_algebraic_logic wikiPageUsesTemplate Template:Reflist.
- Abstract_algebraic_logic wikiPageUsesTemplate Template:SpringerEOM.
- Abstract_algebraic_logic subject Category:Algebraic_logic.
- Abstract_algebraic_logic hypernym Study.
- Abstract_algebraic_logic type Article.
- Abstract_algebraic_logic type Book.
- Abstract_algebraic_logic type Article.
- Abstract_algebraic_logic type Page.
- Abstract_algebraic_logic comment "In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systemsarising as an abstraction of the well-known Lindenbaum-Tarski algebra, and how the resulting algebras are related to logical systems.".
- Abstract_algebraic_logic label "Abstract algebraic logic".
- Abstract_algebraic_logic sameAs Lógica_algébrica_abstrata.
- Abstract_algebraic_logic sameAs m.0ccqhr.
- Abstract_algebraic_logic sameAs Q4669936.
- Abstract_algebraic_logic sameAs Q4669936.
- Abstract_algebraic_logic sameAs 抽象代数逻辑.
- Abstract_algebraic_logic wasDerivedFrom Abstract_algebraic_logic?oldid=681889079.
- Abstract_algebraic_logic isPrimaryTopicOf Abstract_algebraic_logic.