Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Leibniz_operator> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "541244396".
- Leibniz_operator hasPhotoCollection Leibniz_operator.
- Leibniz_operator subject Category:Algebraic_logic.
- 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.