About: A Dynamic Effect Algebras with dual operation

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

About: A Dynamic Effect Algebras with dual operation 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://ma.fme.vutbr.cz/archiv/1_1/79_89.pdf
Description	Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on their denition Chajda and Kolařík presented the denition of tense operators for lattice effect algebras. Chajda and Paseka tackled the problem of axiomatizing tense operators on an effect algebra by introducing the notion of a partial dynamic effect algebra. They also gave representation theorems for dynamic effect algebras. We continue to extend their work for partial S-dynamic effect algebras i.e. in the case when tense operators satisfy required conditions also for the dual effect algebraic operation . We show that whenever tense operators are total our stronger notion coincides with their denition. We give also a representation theorem for partial S-dynamic effect algebras and its version for strict dynamic effect algebras. Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on their denition Chajda and Kolařík presented the denition of tense operators for lattice effect algebras. Chajda and Paseka tackled the problem of axiomatizing tense operators on an effect algebra by introducing the notion of a partial dynamic effect algebra. They also gave representation theorems for dynamic effect algebras. We continue to extend their work for partial S-dynamic effect algebras i.e. in the case when tense operators satisfy required conditions also for the dual effect algebraic operation . We show that whenever tense operators are total our stronger notion coincides with their denition. We give also a representation theorem for partial S-dynamic effect algebras and its version for strict dynamic effect algebras. (en)
Title	A Dynamic Effect Algebras with dual operation A Dynamic Effect Algebras with dual operation (en)
skos:prefLabel	A Dynamic Effect Algebras with dual operation A Dynamic Effect Algebras with dual operation (en)
skos:notation	RIV/00216224:14310/12:00062908!RIV13-MSM-14310___
http://linked.open...avai/predkladatel	Přírodovědecká fakulta
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(EE2.3.20.0051), S
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Paseka, Jan
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	Masarykova univerzita / Přírodovědecká fakulta
http://linked.open...dnocenehoVysledku	120180
http://linked.open...ai/riv/idVysledku	RIV/00216224:14310/12:00062908
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	effect algebra; lattice effect algebra; tense operators; dynamic effect algebra (en)
http://linked.open.../riv/klicoveSlovo	effect algebra dynamic effect algebra lattice effect algebra tense operators
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[D6C3E81548D4]
http://linked.open...i/riv/nazevZdroje	MATHEMATICS FOR 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	1
http://linked.open...iv/tvurceVysledku	Paseka, Jan Janda, Jiří
issn	1805-3610
number of pages	11 (xsd:int)
http://localhost/t...ganizacniJednotka	14310
is http://linked.open...avai/riv/vysledek of	A Dynamic Effect Algebras with dual operation

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, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software