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/
n13http://localhost/temp/predkladatel/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/ontology/domain/vavai/
n6http://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/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F05%3A00002148%21RIV06-MSM-15310___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F05%3A00002148%21RIV06-MSM-15310___
rdf:type
n16:Vysledek skos:Concept
dcterms:description
We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described. Je odvozena výroková logika založená na ortosvazech. Dokazuje se, že algebraický protějšek implikačního reduktu je tzv. ortopolosvaz. Dále jsou popsány vlastnosti kongruencí a kongruenční jádra. We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described.
dcterms:title
An implication in orthologic Implikace v ortologice An implication in orthologic
skos:prefLabel
An implication in orthologic An implication in orthologic Implikace v ortologice
skos:notation
RIV/61989592:15310/05:00002148!RIV06-MSM-15310___
n3:strany
735-744
n3:aktivita
n15:Z
n3:aktivity
Z(MSM 153100011)
n3:cisloPeriodika
7
n3:dodaniDat
n9:2006
n3:domaciTvurceVysledku
n4:3213145 n4:9055819
n3:druhVysledku
n11:J
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
511933
n3:idVysledku
RIV/61989592:15310/05:00002148
n3:jazykVysledku
n12:eng
n3:klicovaSlova
ortholattice; orthosemilattice; implication orthoalgebra
n3:klicoveSlovo
n10:orthosemilattice n10:ortholattice n10:implication%20orthoalgebra
n3:kodStatuVydavatele
US - Spojené státy americké
n3:kontrolniKodProRIV
[5B9D2A0C296F]
n3:nazevZdroje
International Journal of Theoretical Physics
n3:obor
n5:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n9:2005
n3:svazekPeriodika
44
n3:tvurceVysledku
Halaš, Radomír Chajda, Ivan
n3:zamer
n6:MSM%20153100011
s:issn
0020-7748
s:numberOfPages
10
n13:organizacniJednotka
15310