Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Lindenbaum–Tarski_algebra> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Lindenbaum–Tarski_algebra abstract "In mathematical logic, the Lindenbaum–Tarski algebra (or Lindenbaum algebra) of a logical theory T consists of the equivalence classes of sentences of the theory (i.e., the quotient, under the equivalence relation ~ defined such that p ~ q exactly when p and q are provably equivalent in T). That is, two sentences are equivalent if the theory T proves that each implies the other. The Lindenbaum–Tarski algebra is thus the quotient algebra obtained by factoring the algebra of formulas by this congruence relation.The algebra is named for logicians Adolf Lindenbaum and Alfred Tarski. It was first introduced by Tarski in 1935 as a device to establish correspondence between classical propositional calculus and Boolean algebras. The Lindenbaum–Tarski algebra is considered the origin of the modern algebraic logic.".
- Lindenbaum–Tarski_algebra wikiPageID "990343".
- Lindenbaum–Tarski_algebra wikiPageLength "3400".
- Lindenbaum–Tarski_algebra wikiPageOutDegree "36".
- Lindenbaum–Tarski_algebra wikiPageRevisionID "637173370".
- Lindenbaum–Tarski_algebra wikiPageWikiLink Abstract_algebraic_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Adolf_Lindenbaum.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Alfred_Tarski.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Algebraic_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Boolean_algebra_(structure).
- Lindenbaum–Tarski_algebra wikiPageWikiLink Boolean_algebras.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Category:Algebraic_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Category:Algebraic_structures.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Classical_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Congruence_relation.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Disjunction.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Equivalence_class.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Equivalence_relation.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Free_Boolean_algebra.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Functional_completeness.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Functionally_complete.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Heyting_algebra.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Interior_algebra.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Intuitionistic_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Leibniz_operator.
- Lindenbaum–Tarski_algebra wikiPageWikiLink List_of_Boolean_algebra_topics.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Logical_conjunction.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Logical_connective.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Logical_disjunction.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Logician.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Mathematical_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Modal_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Model_theory.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Negation.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Propositional_calculus.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Propositional_variable.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Quotient.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Quotient_algebra.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Relevance_logic.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Rule_of_necessitation.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Sentence_(logic).
- Lindenbaum–Tarski_algebra wikiPageWikiLink Sentence_(mathematical_logic).
- Lindenbaum–Tarski_algebra wikiPageWikiLink Well-defined.
- Lindenbaum–Tarski_algebra wikiPageWikiLinkText "Lindenbaum algebra".
- Lindenbaum–Tarski_algebra wikiPageWikiLinkText "Lindenbaum–Tarski algebra".
- Lindenbaum–Tarski_algebra hasPhotoCollection Lindenbaum–Tarski_algebra.
- Lindenbaum–Tarski_algebra wikiPageUsesTemplate Template:Cite_book.
- Lindenbaum–Tarski_algebra wikiPageUsesTemplate Template:Distinguish.
- Lindenbaum–Tarski_algebra wikiPageUsesTemplate Template:Reflist.
- Lindenbaum–Tarski_algebra subject Category:Algebraic_logic.
- Lindenbaum–Tarski_algebra subject Category:Algebraic_structures.
- Lindenbaum–Tarski_algebra type Thing.
- Lindenbaum–Tarski_algebra comment "In mathematical logic, the Lindenbaum–Tarski algebra (or Lindenbaum algebra) of a logical theory T consists of the equivalence classes of sentences of the theory (i.e., the quotient, under the equivalence relation ~ defined such that p ~ q exactly when p and q are provably equivalent in T). That is, two sentences are equivalent if the theory T proves that each implies the other.".
- Lindenbaum–Tarski_algebra label "Lindenbaum–Tarski algebra".
- Lindenbaum–Tarski_algebra differentFrom Jónsson–Tarski_algebra.
- Lindenbaum–Tarski_algebra sameAs Lindenbaumova_algebra.
- Lindenbaum–Tarski_algebra sameAs Algèbre_de_Lindenbaum.
- Lindenbaum–Tarski_algebra sameAs m.03x5tw.
- Lindenbaum–Tarski_algebra sameAs Q841805.
- Lindenbaum–Tarski_algebra sameAs Q841805.
- Lindenbaum–Tarski_algebra sameAs 林登鲍姆-塔斯基代数.
- Lindenbaum–Tarski_algebra wasDerivedFrom Lindenbaum–Tarski_algebra?oldid=637173370.
- Lindenbaum–Tarski_algebra isPrimaryTopicOf Lindenbaum–Tarski_algebra.