This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n5http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/subjekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n20http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n17http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F12%3A00383374%21RIV13-GA0-67985807/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F12%3A00383374%21RIV13-GA0-67985807
rdf:type
n11:Vysledek skos:Concept
dcterms:description
We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FLi-algebras and FLo-algebras. On the other hand, we show that the subvariety lattice of residuated lattices contains only five 3-potent commutative representable atoms and two integral commutative representable atoms. Inspired by the construction of atoms, we are also able to prove that the variety of integral commutative representable residuated lattices is generated by its 1-generated finite members. We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FLi-algebras and FLo-algebras. On the other hand, we show that the subvariety lattice of residuated lattices contains only five 3-potent commutative representable atoms and two integral commutative representable atoms. Inspired by the construction of atoms, we are also able to prove that the variety of integral commutative representable residuated lattices is generated by its 1-generated finite members.
dcterms:title
Minimal Varieties of Representable Commutative Residuated Lattices Minimal Varieties of Representable Commutative Residuated Lattices
skos:prefLabel
Minimal Varieties of Representable Commutative Residuated Lattices Minimal Varieties of Representable Commutative Residuated Lattices
skos:notation
RIV/67985807:_____/12:00383374!RIV13-GA0-67985807
n11:predkladatel
n12:ico%3A67985807
n4:aktivita
n6:P n6:Z
n4:aktivity
P(GAP202/10/1826), Z(AV0Z10300504)
n4:cisloPeriodika
6
n4:dodaniDat
n14:2013
n4:domaciTvurceVysledku
n15:6922287
n4:druhVysledku
n19:J
n4:duvernostUdaju
n18:S
n4:entitaPredkladatele
n13:predkladatel
n4:idSjednocenehoVysledku
150646
n4:idVysledku
RIV/67985807:_____/12:00383374
n4:jazykVysledku
n9:eng
n4:klicovaSlova
commutative residuated lattice; subvariety lattice; minimal variety; substructural logic; maximally consistent logic
n4:klicoveSlovo
n8:commutative%20residuated%20lattice n8:substructural%20logic n8:maximally%20consistent%20logic n8:minimal%20variety n8:subvariety%20lattice
n4:kodStatuVydavatele
NL - Nizozemsko
n4:kontrolniKodProRIV
[EABA891789F6]
n4:nazevZdroje
Studia Logica
n4:obor
n16:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n5:GAP202%2F10%2F1826
n4:rokUplatneniVysledku
n14:2012
n4:svazekPeriodika
100
n4:tvurceVysledku
Horčík, Rostislav
n4:wos
000312346600002
n4:zamer
n20:AV0Z10300504
s:issn
0039-3215
s:numberOfPages
16
n17:doi
10.1007/s11225-012-9456-1