About: Lindenbaum–Tarski algebra

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Lindenbaum–Tarski algebra Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Algèbre de Lindenbaum (fr) Lindenbaum–Tarski algebra (en) Алгебра Линденбаума — Тарского (ru)
rdfs:comment	L'algèbre de Lindenbaum d'une théorie mathématique est l'ensemble des énoncés du langage de celle-ci modulo la relation d'équivalence suivante: deux énoncés A et B sont dans la même classe d'équivalence s'il est possible de démontrer dans la théorie que A a pour conséquence B et que B a pour conséquence A. La relation de conséquence logique sur les énoncés, qui est compatible avec la relation d'équivalence, induit par quotient une relation d'ordre sur l'algèbre de Lindenbaum. (fr)
rdfs:seeAlso	https://www.jstor.org/topic/lindenbaum-tarski-algebra
sameAs	Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra
Wikipage page ID	5474185 (xsd:integer)
Wikipage revision ID	191007258 (xsd:integer)
dbo:wikiPageWikiLink	Abraham Robinson dbpedia-fr:Adolf_Lindenbaum Alfred Tarski Boolean algebra (structure) Nonstandard analysis Andrey Kolmogorov Unital ring dbpedia-fr:Arithmétique Axiom Base (topology) Infimum and supremum Propositional calculus First-order logic dbpedia-fr:Cambridge_University_Press category-fr:Structure_algébrique Compact space Logical conjunction dbpedia-fr:Diagramme_de_Hasse dbpedia-fr:Disjonction_logique dbpedia-fr:Distributivité Divisibility (ring theory) dbpedia-fr:Dé_à_quatre_faces dbpedia-fr:Déduction_logique Cantor set Cantor space Indicator function dbpedia-fr:George_Boole dbpedia-fr:Graphe_orienté dbpedia-fr:Helena_Rasiowa Homeomorphism Idempotence dbpedia-fr:Implication_(logique) dbpedia-fr:Logique_classique dbpedia-fr:Logique_floue dbpedia-fr:Logique_modale dbpedia-fr:Modèle_non_standard_de_l'arithmétique dbpedia-fr:Négation_logique dbpedia-fr:Plus_grand_commun_diviseur dbpedia-fr:Plus_petit_commun_multiple Law of excluded middle Preorder Quantifier (logic) Existential quantification Partially ordered set Equivalence relation dbpedia-fr:Syntaxe Grammar Tautology (logic) dbpedia-fr:Tesseract dbpedia-fr:Thoralf_Skolem dbpedia-fr:Théorie_des_probabilités dbpedia-fr:Théorème_de_Baire Compactness theorem Gödel's completeness theorem Stone's representation theorem for Boolean algebras Topology dbpedia-fr:Treillis_(ensemble_ordonné) dbpedia-fr:Type_(théorie_des_modèles) dbpedia-fr:Ultrafiltre Truth value dbpedia-fr:Équivalence_logique Marshall Harvey Stone dbpedia-fr:Modus_ponens
page length (characters) of wiki page	14205 (xsd:nonNegativeInteger)
dct:subject	category-fr:Structure_algébrique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Théorème
prov:wasDerivedFrom	wikipedia-fr:Algèbre_de_Lindenbaum?oldid=191007258&ns=0
foaf:depiction
prop-fr:année	1982 (xsd:integer)
prop-fr:fr	Roman Sikorski (fr)
prop-fr:isbn	978 (xsd:integer)
prop-fr:langue	en (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software