SHMARQL

Lindenbaum–Tarski algebra

<http://www.wikidata.org/entity/Q841805>

algebra of the operations on a logical theory up to equivalence
rdfs:label
"Lindenbaum–Tarski algebra"@en
skos:altLabel
"Lindenbaum algebra"@en
schema:description "algebra of the operations on a logical theory up to equivalence"@en
schema:dateModified "2026-09-08T12:18:54+00:00"^^xsd:dateTime
schema:version 2542238801
wikibase:identifiers 4
wikibase:sitelinks 7
wikibase:statements 8
p:P2579 wd:statement/Q841805-2FAAA5A6-15D6-4C5D-A8BE-C7015F17A85E
wd:statement/Q841805-bf3e0d0b-46cc-c2b3-6ea6-3bd5640b82a1
p:P279 wd:statement/Q841805-961ab892-4818-8860-6494-90311699183b
p:P31 wd:statement/Q841805-53f56938-48e4-3354-1009-1604313cedf9
p:P3827 wd:statement/Q841805-CF7C1098-A5FB-4ADA-96EE-B072EF11FBC4
p:P6366 wd:statement/Q841805-DD29652B-09D3-4C05-A419-AFD78A4DAD35
p:P646 wd:statement/Q841805-D0EBE263-7D04-46D8-822B-E40A37BE717B
p:P9621 wd:statement/Q841805-3f42a5e9-4ddf-d265-6481-0b23fdad7624
p:direct-normalized/P6366 <https://makg.org/entity/2779726349>
wdt:P2579 algebraic logic
category theory
wdt:P279 algebraic structure
wdt:P31 mathematical concept
wdt:P3827 "lindenbaum-tarski-algebra"
wdt:P6366 "2779726349"
wdt:P646 "/m/03x5tw"
wdt:P9621 "algebra-di-lindenbaum"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata