This HTML5 document contains 41 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/
n8http://localhost/temp/predkladatel/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/ontology/domain/vavai/
n9http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F08%3A00005672%21RIV09-MSM-15310___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F08%3A00005672%21RIV09-MSM-15310___
rdf:type
n15:Vysledek skos:Concept
dcterms:description
Je dán nový axiomový systém basic algeber, který obsahuje jen 4 identity. Je dokázáno, že tyto axiomy jsou nezávislé. We prove that the axiom system of basic algebras (as given in Chajda I., Emanovský P.: Bounded lattices with antitone involutions and properties of MV-algebras, Discuss. Math., Gen. Algebra Appl. 24 (2004), 31-42) is not independent. The axiom (BA3) can be deleted and the remaining axioms are shown to be independent. The case when the axiom of double negation is deleted is also treated. We prove that the axiom system of basic algebras (as given in Chajda I., Emanovský P.: Bounded lattices with antitone involutions and properties of MV-algebras, Discuss. Math., Gen. Algebra Appl. 24 (2004), 31-42) is not independent. The axiom (BA3) can be deleted and the remaining axioms are shown to be independent. The case when the axiom of double negation is deleted is also treated.
dcterms:title
Nezávislá axiomatizace basic algeber Independence of axiom system of basic algebra Independence of axiom system of basic algebra
skos:prefLabel
Independence of axiom system of basic algebra Independence of axiom system of basic algebra Nezávislá axiomatizace basic algeber
skos:notation
RIV/61989592:15310/08:00005672!RIV09-MSM-15310___
n3:aktivita
n18:Z
n3:aktivity
Z(MSM6198959214)
n3:cisloPeriodika
1
n3:dodaniDat
n14:2009
n3:domaciTvurceVysledku
n10:8866791 n10:9055819
n3:druhVysledku
n7:J
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
371862
n3:idVysledku
RIV/61989592:15310/08:00005672
n3:jazykVysledku
n12:eng
n3:klicovaSlova
axiom system; basic algebra
n3:klicoveSlovo
n13:axiom%20system n13:basic%20algebra
n3:kodStatuVydavatele
DE - Spolková republika Německo
n3:kontrolniKodProRIV
[504897D90391]
n3:nazevZdroje
Soft Computing: a fusion of foundations, methodologies and applications
n3:obor
n6:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n14:2008
n3:svazekPeriodika
14
n3:tvurceVysledku
Kolařík, Miroslav Chajda, Ivan
n3:zamer
n9:MSM6198959214
s:issn
1432-7643
s:numberOfPages
5
n8:organizacniJednotka
15310