SHMARQL

Heyting algebra

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

bounded lattice that models intuitionistic propositional logic
rdfs:label
"Heyting algebra"@en
skos:altLabel
"algebra de Heyting"@es
schema:description
"bounded lattice that models intuitionistic propositional logic"@en
schema:dateModified "2026-09-08T10:46:42+00:00"^^xsd:dateTime
schema:version 2542200436
wikibase:identifiers 12
wikibase:sitelinks 15
wikibase:statements 24
p:P10283 wd:statement/Q1617044-2CFB7F6E-381D-49E2-9D74-D9FA5914CAF6
p:P13591 wd:statement/Q1617044-35572E6E-4E5B-4266-BECD-F735EB4236B4
p:P138 wd:statement/q1617044-769c116d-4a1c-c346-3cd0-a4bbef2ab2bd
p:P244 wd:statement/Q1617044-19e0ce7c-149d-4bab-91ed-6433dc3c1208
p:P2579 wd:statement/Q1617044-7725fea7-41de-cfa3-260d-3fa05a6a248c
wd:statement/Q1617044-f0ea641c-40c3-573d-b49d-2e5935ba33a9
p:P2581 wd:statement/Q1617044-0B7F90C9-0C41-4A32-B5C3-D367C9530903
p:P279 wd:statement/Q1617044-633f4170-457a-e3b6-8092-53b34e2e2e5b
wd:statement/Q1617044-65a551c7-44b7-24eb-8212-690650fb17e8
wd:statement/Q1617044-78a4b993-40c9-07b8-fe7c-66165b69f786
wd:statement/Q1617044-9f3ec10c-4858-59dd-f158-369f6522f853
wd:statement/Q1617044-cccc56c8-44e7-010f-2e32-f4f1ae80b92b
wd:statement/Q1617044-e3b19b58-4a6a-3fa4-2731-33ec15704d01
p:P2812 wd:statement/Q1617044-53DA4E65-B62E-40E5-8BF7-E938551FFA6E
p:P31 wd:statement/Q1617044-c614b5bd-474e-68aa-4a84-d4e6cd13b76a
p:P373 wd:statement/Q1617044-069b3d25-78f7-4ee1-a6aa-d5e734f849aa
p:P3827 wd:statement/Q1617044-BBCC12B4-0690-46EB-8335-48F5FF7A49E0
p:P4215 wd:statement/Q1617044-F3BC494C-4A01-467B-9806-BB8656739CDD
p:P508 wd:statement/Q1617044-CE06FF23-FF70-427B-99F8-D167078A7551
p:P6104 wd:statement/Q1617044-0C3E8B83-4DF1-46FC-8647-41CC944D6824
p:P6366 wd:statement/Q1617044-2BF6DC1E-341D-401C-8F61-07979A25FF3B
p:P646 wd:statement/Q1617044-D791904F-21B0-4869-B0D4-DCBB880A4D82
p:P7726 wd:statement/Q1617044-a3547a3d-4db1-6e8d-35f8-f1949db2a229
p:P8189 wd:statement/Q1617044-4D131C79-EE84-4828-9C0C-B3B947E9DAA2
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh2010014322>
p:direct-normalized/P2581 <http://babelnet.org/rdf/s02443810n>
p:direct-normalized/P508 <http://purl.org/bncf/tid/67959>
p:direct-normalized/P6366 <https://makg.org/entity/187062830>
wdt:P10283 "C187062830"
wdt:P13591 "concept/971ee427-f1d0-414b-8d44-73fd6a7590a3"
wdt:P138 Arend Heyting
wdt:P244 "sh2010014322"
wdt:P2579 mathematical logic
lattice theory
wdt:P2581 "02443810n"
wdt:P279 bounded lattice
finitely complete category
finitely cocomplete category
cartesian closed category
distributive lattice
residuated lattice
wdt:P2812 "HeytingAlgebra"
wdt:P31 mathematical concept
wdt:P373 "Heyting Algebra"
wdt:P3827 "heyting-algebras"
wdt:P4215 "Heyting algebra"
wdt:P508 "67959"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "187062830"
wdt:P646 "/m/01szjs"
wdt:P7726 "HeytingAlgebra"
wdt:P8189 "987007572533605171"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata