About: Dynamic effect algebras and their representations.

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Dynamic effect algebras and their representations. Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://download.springer.com/static/pdf/889/art%253A10.1007%252Fs00500-012-0857-x.pdf?auth66=1424787259_38303dc92e74bdcc3c88d32d7382f95f&ext=.pdf
Description	For lattice effect algebras, the so-called tense operators were already introduced by Chajda and KolaA (TM) ik. Tense operators express the quantifiers %22it is always going to be the case that%22 and %22it has always been the case that%22 and hence enable us to express the dimension of time in the logic of quantum mechanics. We present an axiomatization of these tense operators and prove that in every effect algebra can be introduced tense operators which, for non-complete lattice effect algebras, can be only partial mappings. An effect algebra equipped with tense operators reflects changes of quantum events from past to future. A crucial problem concerning tense operators is their representation. Having an effect algebra with tense operators, we can ask if there exists a frame such that each of these operators can be obtained by our construction. We solve this problem for (strict) dynamic effect algebras having a full set of homorphisms into a complete lattice effect algebra. For lattice effect algebras, the so-called tense operators were already introduced by Chajda and KolaA (TM) ik. Tense operators express the quantifiers %22it is always going to be the case that%22 and %22it has always been the case that%22 and hence enable us to express the dimension of time in the logic of quantum mechanics. We present an axiomatization of these tense operators and prove that in every effect algebra can be introduced tense operators which, for non-complete lattice effect algebras, can be only partial mappings. An effect algebra equipped with tense operators reflects changes of quantum events from past to future. A crucial problem concerning tense operators is their representation. Having an effect algebra with tense operators, we can ask if there exists a frame such that each of these operators can be obtained by our construction. We solve this problem for (strict) dynamic effect algebras having a full set of homorphisms into a complete lattice effect algebra. (en)
Title	Dynamic effect algebras and their representations. Dynamic effect algebras and their representations. (en)
skos:prefLabel	Dynamic effect algebras and their representations. Dynamic effect algebras and their representations. (en)
skos:notation	RIV/61989592:15310/12:33145905!RIV15-MSM-15310___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(EE2.3.20.0051)
http://linked.open...iv/cisloPeriodika	10
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Chajda, Ivan
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Palackého v Olomouci / Přírodovědecká fakulta
http://linked.open...dnocenehoVysledku	132489
http://linked.open...ai/riv/idVysledku	RIV/61989592:15310/12:33145905
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Dynamic effect algebra; Tense operators; Lattice effect algebra; Effect algebra (en)
http://linked.open.../riv/klicoveSlovo	Lattice effect algebra Dynamic effect algebra Tense operators Effect algebra
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[09EBBCE4FD60]
http://linked.open...i/riv/nazevZdroje	Soft Computing: a fusion of foundations, methodologies and applications
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Algebraic methods in Quantum Logic
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	16
http://linked.open...iv/tvurceVysledku	Chajda, Ivan Paseka, Jan
http://linked.open...ain/vavai/riv/wos	000308532700009
issn	1432-7643
number of pages	9 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/s00500-012-0857-x
http://localhost/t...ganizacniJednotka	15310

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software