Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Leibniz_operator> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Leibniz_operator abstract "In abstract algebraic logic the Leibniz operator is a tool used to classify deductive systems, which have a precise technical definition, and capture a large number of logics. The Leibniz operator was introduced by Willem Blok and Don Pigozzi, two of the founders of the field, as a means to abstract the well-known Lindenbaum-Tarski process, that leads to the association of Boolean algebras to classical propositional calculus, and make it applicableto as wide a variety of sentential logics as possible. It is an operator that assigns to a given theory of a given sentential logic, perceived as a free algebrawith a consequence operation on its universe, thelargest congruence on the algebra that is compatible with the theory.".
- Leibniz_operator wikiPageExternalLink consequence-algebraic.
- Leibniz_operator wikiPageExternalLink Font-altresPre329.pdf.
- Leibniz_operator wikiPageID "4827691".
- Leibniz_operator wikiPageLength "7282".
- Leibniz_operator wikiPageOutDegree "17".
- Leibniz_operator wikiPageRevisionID "541244396".
- Leibniz_operator wikiPageWikiLink Abstract_algebraic_logic.
- Leibniz_operator wikiPageWikiLink Algebraic_semantics_(mathematical_logic).
- Leibniz_operator wikiPageWikiLink Algebraizable.
- Leibniz_operator wikiPageWikiLink Boolean_algebra_(structure).
- Leibniz_operator wikiPageWikiLink Category:Algebraic_logic.
- Leibniz_operator wikiPageWikiLink Congruence_relation.
- Leibniz_operator wikiPageWikiLink Deductive_system.
- Leibniz_operator wikiPageWikiLink Don_Pigozzi.
- Leibniz_operator wikiPageWikiLink Equivalential.
- Leibniz_operator wikiPageWikiLink Formal_system.
- Leibniz_operator wikiPageWikiLink Free_algebra.
- Leibniz_operator wikiPageWikiLink Lindenbaum-Tarski_algebra.
- Leibniz_operator wikiPageWikiLink Lindenbaum–Tarski_algebra.
- Leibniz_operator wikiPageWikiLink Propositional_calculus.
- Leibniz_operator wikiPageWikiLink Protoalgebraic.
- Leibniz_operator wikiPageWikiLink Sentential_logic.
- Leibniz_operator wikiPageWikiLink Willem_Blok.
- Leibniz_operator wikiPageWikiLink Π-institution.
- Leibniz_operator wikiPageWikiLinkText "Leibniz operator".
- Leibniz_operator wikiPageWikiLinkText "Leibniz operator#Hierarchy".
- Leibniz_operator hasPhotoCollection Leibniz_operator.
- Leibniz_operator wikiPageUsesTemplate Template:Cite_book.
- Leibniz_operator wikiPageUsesTemplate Template:Context.
- Leibniz_operator subject Category:Algebraic_logic.
- Leibniz_operator hypernym Tool.
- Leibniz_operator type Article.
- Leibniz_operator type Software.
- Leibniz_operator type Article.
- Leibniz_operator type Page.
- Leibniz_operator comment "In abstract algebraic logic the Leibniz operator is a tool used to classify deductive systems, which have a precise technical definition, and capture a large number of logics.".
- Leibniz_operator label "Leibniz operator".
- Leibniz_operator sameAs m.0cpw_r.
- Leibniz_operator sameAs Q6519090.
- Leibniz_operator sameAs Q6519090.
- Leibniz_operator wasDerivedFrom Leibniz_operator?oldid=541244396.
- Leibniz_operator isPrimaryTopicOf Leibniz_operator.