Dynamic effect algebras

Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” and hence enable us to express the dimension of time in the logic of quantum mechanics. We present a...
Ausführliche Beschreibung

Gespeichert in:

Autor*in:	Chajda, Ivan [verfasserIn] Kolařík, Miroslav

Format:	E-Artikel
Sprache:	Englisch

Erschienen:	2012

Schlagwörter:	effect algebra lattice effect algebra tense operators dynamic effect algebra

Anmerkung:	© Versita Warsaw and Springer-Verlag Wien 2012

Übergeordnetes Werk:	Enthalten in: Mathematica Slovaca - Warsaw : Versita, 2007, 62(2012), 3 vom: 06. Mai, Seite 379-388
Übergeordnetes Werk:	volume:62 ; year:2012 ; number:3 ; day:06 ; month:05 ; pages:379-388

Links:	Volltext

DOI / URN:	10.2478/s12175-012-0015-z

Katalog-ID:	SPR025428438

Internformat


LEADER	01000caa a22002652 4500
001	SPR025428438
003	DE-627
005	20230403060457.0
007	cr uuu---uuuuu
008	201007s2012 xx \|\|\|\|\|o 00\| \|\|eng c
024	7		\|a 10.2478/s12175-012-0015-z \|2 doi
035			\|a (DE-627)SPR025428438
035			\|a (SPR)s12175-012-0015-z-e
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
100	1		\|a Chajda, Ivan \|e verfasserin \|4 aut
245	1	0	\|a Dynamic effect algebras
264		1	\|c 2012
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
500			\|a © Versita Warsaw and Springer-Verlag Wien 2012
520			\|a Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future.
650		4	\|a effect algebra \|7 (dpeaa)DE-He213
650		4	\|a lattice effect algebra \|7 (dpeaa)DE-He213
650		4	\|a tense operators \|7 (dpeaa)DE-He213
650		4	\|a dynamic effect algebra \|7 (dpeaa)DE-He213
700	1		\|a Kolařík, Miroslav \|4 aut
773	0	8	\|i Enthalten in \|t Mathematica Slovaca \|d Warsaw : Versita, 2007 \|g 62(2012), 3 vom: 06. Mai, Seite 379-388 \|w (DE-627)548127344 \|w (DE-600)2393408-6 \|x 1337-2211 \|7 nnns
773	1	8	\|g volume:62 \|g year:2012 \|g number:3 \|g day:06 \|g month:05 \|g pages:379-388
856	4	0	\|u https://dx.doi.org/10.2478/s12175-012-0015-z \|z lizenzpflichtig \|3 Volltext
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_SPRINGER
912			\|a GBV_ILN_20
912			\|a GBV_ILN_22
912			\|a GBV_ILN_23
912			\|a GBV_ILN_24
912			\|a GBV_ILN_31
912			\|a GBV_ILN_39
912			\|a GBV_ILN_40
912			\|a GBV_ILN_60
912			\|a GBV_ILN_62
912			\|a GBV_ILN_63
912			\|a GBV_ILN_65
912			\|a GBV_ILN_69
912			\|a GBV_ILN_70
912			\|a GBV_ILN_73
912			\|a GBV_ILN_74
912			\|a GBV_ILN_90
912			\|a GBV_ILN_95
912			\|a GBV_ILN_105
912			\|a GBV_ILN_110
912			\|a GBV_ILN_120
912			\|a GBV_ILN_150
912			\|a GBV_ILN_151
912			\|a GBV_ILN_161
912			\|a GBV_ILN_170
912			\|a GBV_ILN_187
912			\|a GBV_ILN_213
912			\|a GBV_ILN_230
912			\|a GBV_ILN_285
912			\|a GBV_ILN_293
912			\|a GBV_ILN_370
912			\|a GBV_ILN_602
912			\|a GBV_ILN_702
912			\|a GBV_ILN_2014
912			\|a GBV_ILN_2018
912			\|a GBV_ILN_2088
912			\|a GBV_ILN_2190
912			\|a GBV_ILN_4012
912			\|a GBV_ILN_4037
912			\|a GBV_ILN_4112
912			\|a GBV_ILN_4125
912			\|a GBV_ILN_4126
912			\|a GBV_ILN_4249
912			\|a GBV_ILN_4277
912			\|a GBV_ILN_4305
912			\|a GBV_ILN_4306
912			\|a GBV_ILN_4307
912			\|a GBV_ILN_4313
912			\|a GBV_ILN_4322
912			\|a GBV_ILN_4323
912			\|a GBV_ILN_4324
912			\|a GBV_ILN_4325
912			\|a GBV_ILN_4326
912			\|a GBV_ILN_4335
912			\|a GBV_ILN_4338
912			\|a GBV_ILN_4367
912			\|a GBV_ILN_4700
951			\|a AR
952			\|d 62 \|j 2012 \|e 3 \|b 06 \|c 05 \|h 379-388

Indexfelder

author_variant	i c ic m k mk
matchkey_str	article:13372211:2012----::yaiefca
hierarchy_sort_str	2012
publishDate	2012
allfields	10.2478/s12175-012-0015-z doi (DE-627)SPR025428438 (SPR)s12175-012-0015-z-e DE-627 ger DE-627 rakwb eng Chajda, Ivan verfasserin aut Dynamic effect algebras 2012 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © Versita Warsaw and Springer-Verlag Wien 2012 Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. effect algebra (dpeaa)DE-He213 lattice effect algebra (dpeaa)DE-He213 tense operators (dpeaa)DE-He213 dynamic effect algebra (dpeaa)DE-He213 Kolařík, Miroslav aut Enthalten in Mathematica Slovaca Warsaw : Versita, 2007 62(2012), 3 vom: 06. Mai, Seite 379-388 (DE-627)548127344 (DE-600)2393408-6 1337-2211 nnns volume:62 year:2012 number:3 day:06 month:05 pages:379-388 https://dx.doi.org/10.2478/s12175-012-0015-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_120 GBV_ILN_150 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_187 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2014 GBV_ILN_2018 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4277 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 62 2012 3 06 05 379-388
spelling	10.2478/s12175-012-0015-z doi (DE-627)SPR025428438 (SPR)s12175-012-0015-z-e DE-627 ger DE-627 rakwb eng Chajda, Ivan verfasserin aut Dynamic effect algebras 2012 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © Versita Warsaw and Springer-Verlag Wien 2012 Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. effect algebra (dpeaa)DE-He213 lattice effect algebra (dpeaa)DE-He213 tense operators (dpeaa)DE-He213 dynamic effect algebra (dpeaa)DE-He213 Kolařík, Miroslav aut Enthalten in Mathematica Slovaca Warsaw : Versita, 2007 62(2012), 3 vom: 06. Mai, Seite 379-388 (DE-627)548127344 (DE-600)2393408-6 1337-2211 nnns volume:62 year:2012 number:3 day:06 month:05 pages:379-388 https://dx.doi.org/10.2478/s12175-012-0015-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_120 GBV_ILN_150 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_187 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2014 GBV_ILN_2018 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4277 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 62 2012 3 06 05 379-388
allfields_unstemmed	10.2478/s12175-012-0015-z doi (DE-627)SPR025428438 (SPR)s12175-012-0015-z-e DE-627 ger DE-627 rakwb eng Chajda, Ivan verfasserin aut Dynamic effect algebras 2012 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © Versita Warsaw and Springer-Verlag Wien 2012 Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. effect algebra (dpeaa)DE-He213 lattice effect algebra (dpeaa)DE-He213 tense operators (dpeaa)DE-He213 dynamic effect algebra (dpeaa)DE-He213 Kolařík, Miroslav aut Enthalten in Mathematica Slovaca Warsaw : Versita, 2007 62(2012), 3 vom: 06. Mai, Seite 379-388 (DE-627)548127344 (DE-600)2393408-6 1337-2211 nnns volume:62 year:2012 number:3 day:06 month:05 pages:379-388 https://dx.doi.org/10.2478/s12175-012-0015-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_120 GBV_ILN_150 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_187 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2014 GBV_ILN_2018 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4277 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 62 2012 3 06 05 379-388
allfieldsGer	10.2478/s12175-012-0015-z doi (DE-627)SPR025428438 (SPR)s12175-012-0015-z-e DE-627 ger DE-627 rakwb eng Chajda, Ivan verfasserin aut Dynamic effect algebras 2012 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © Versita Warsaw and Springer-Verlag Wien 2012 Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. effect algebra (dpeaa)DE-He213 lattice effect algebra (dpeaa)DE-He213 tense operators (dpeaa)DE-He213 dynamic effect algebra (dpeaa)DE-He213 Kolařík, Miroslav aut Enthalten in Mathematica Slovaca Warsaw : Versita, 2007 62(2012), 3 vom: 06. Mai, Seite 379-388 (DE-627)548127344 (DE-600)2393408-6 1337-2211 nnns volume:62 year:2012 number:3 day:06 month:05 pages:379-388 https://dx.doi.org/10.2478/s12175-012-0015-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_120 GBV_ILN_150 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_187 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2014 GBV_ILN_2018 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4277 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 62 2012 3 06 05 379-388
allfieldsSound	10.2478/s12175-012-0015-z doi (DE-627)SPR025428438 (SPR)s12175-012-0015-z-e DE-627 ger DE-627 rakwb eng Chajda, Ivan verfasserin aut Dynamic effect algebras 2012 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © Versita Warsaw and Springer-Verlag Wien 2012 Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. effect algebra (dpeaa)DE-He213 lattice effect algebra (dpeaa)DE-He213 tense operators (dpeaa)DE-He213 dynamic effect algebra (dpeaa)DE-He213 Kolařík, Miroslav aut Enthalten in Mathematica Slovaca Warsaw : Versita, 2007 62(2012), 3 vom: 06. Mai, Seite 379-388 (DE-627)548127344 (DE-600)2393408-6 1337-2211 nnns volume:62 year:2012 number:3 day:06 month:05 pages:379-388 https://dx.doi.org/10.2478/s12175-012-0015-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_120 GBV_ILN_150 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_187 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2014 GBV_ILN_2018 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4277 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 62 2012 3 06 05 379-388
language	English
source	Enthalten in Mathematica Slovaca 62(2012), 3 vom: 06. Mai, Seite 379-388 volume:62 year:2012 number:3 day:06 month:05 pages:379-388
sourceStr	Enthalten in Mathematica Slovaca 62(2012), 3 vom: 06. Mai, Seite 379-388 volume:62 year:2012 number:3 day:06 month:05 pages:379-388
format_phy_str_mv	Article
institution	findex.gbv.de
topic_facet	effect algebra lattice effect algebra tense operators dynamic effect algebra
isfreeaccess_bool	false
container_title	Mathematica Slovaca
authorswithroles_txt_mv	Chajda, Ivan @@aut@@ Kolařík, Miroslav @@aut@@
publishDateDaySort_date	2012-05-06T00:00:00Z
hierarchy_top_id	548127344
id	SPR025428438
language_de	englisch
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">SPR025428438</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230403060457.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">201007s2012 xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.2478/s12175-012-0015-z</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)SPR025428438</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(SPR)s12175-012-0015-z-e</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chajda, Ivan</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic effect algebras</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Versita Warsaw and Springer-Verlag Wien 2012</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">effect algebra</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">lattice effect algebra</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">tense operators</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">dynamic effect algebra</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kolařík, Miroslav</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Mathematica Slovaca</subfield><subfield code="d">Warsaw : Versita, 2007</subfield><subfield code="g">62(2012), 3 vom: 06. Mai, Seite 379-388</subfield><subfield code="w">(DE-627)548127344</subfield><subfield code="w">(DE-600)2393408-6</subfield><subfield code="x">1337-2211</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:62</subfield><subfield code="g">year:2012</subfield><subfield code="g">number:3</subfield><subfield code="g">day:06</subfield><subfield code="g">month:05</subfield><subfield code="g">pages:379-388</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://dx.doi.org/10.2478/s12175-012-0015-z</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_SPRINGER</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_39</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_73</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_74</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_150</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_151</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_161</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_170</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_187</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_293</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_602</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_702</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4249</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4326</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4335</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4338</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4367</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">62</subfield><subfield code="j">2012</subfield><subfield code="e">3</subfield><subfield code="b">06</subfield><subfield code="c">05</subfield><subfield code="h">379-388</subfield></datafield></record></collection>
author	Chajda, Ivan
spellingShingle	Chajda, Ivan misc effect algebra misc lattice effect algebra misc tense operators misc dynamic effect algebra Dynamic effect algebras
authorStr	Chajda, Ivan
ppnlink_with_tag_str_mv	@@773@@(DE-627)548127344
format	electronic Article
delete_txt_mv	keep
author_role	aut aut
collection	springer
remote_str	true
illustrated	Not Illustrated
issn	1337-2211
topic_title	Dynamic effect algebras effect algebra (dpeaa)DE-He213 lattice effect algebra (dpeaa)DE-He213 tense operators (dpeaa)DE-He213 dynamic effect algebra (dpeaa)DE-He213
topic	misc effect algebra misc lattice effect algebra misc tense operators misc dynamic effect algebra
topic_unstemmed	misc effect algebra misc lattice effect algebra misc tense operators misc dynamic effect algebra
topic_browse	misc effect algebra misc lattice effect algebra misc tense operators misc dynamic effect algebra
format_facet	Elektronische Aufsätze Aufsätze Elektronische Ressource
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	cr
hierarchy_parent_title	Mathematica Slovaca
hierarchy_parent_id	548127344
hierarchy_top_title	Mathematica Slovaca
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)548127344 (DE-600)2393408-6
title	Dynamic effect algebras
ctrlnum	(DE-627)SPR025428438 (SPR)s12175-012-0015-z-e
title_full	Dynamic effect algebras
author_sort	Chajda, Ivan
journal	Mathematica Slovaca
journalStr	Mathematica Slovaca
lang_code	eng
isOA_bool	false
recordtype	marc
publishDateSort	2012
contenttype_str_mv	txt
container_start_page	379
author_browse	Chajda, Ivan Kolařík, Miroslav
container_volume	62
format_se	Elektronische Aufsätze
author-letter	Chajda, Ivan
doi_str_mv	10.2478/s12175-012-0015-z
title_sort	dynamic effect algebras
title_auth	Dynamic effect algebras
abstract	Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. © Versita Warsaw and Springer-Verlag Wien 2012
abstractGer	Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. © Versita Warsaw and Springer-Verlag Wien 2012
abstract_unstemmed	Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future. © Versita Warsaw and Springer-Verlag Wien 2012
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_120 GBV_ILN_150 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_187 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2014 GBV_ILN_2018 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4277 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700
container_issue	3
title_short	Dynamic effect algebras
url	https://dx.doi.org/10.2478/s12175-012-0015-z
remote_bool	true
author2	Kolařík, Miroslav
author2Str	Kolařík, Miroslav
ppnlink	548127344
mediatype_str_mv	c
isOA_txt	false
hochschulschrift_bool	false
doi_str	10.2478/s12175-012-0015-z
up_date	2024-07-03T15:56:11.727Z
_version_	1803573968742907904
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">SPR025428438</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230403060457.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">201007s2012 xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.2478/s12175-012-0015-z</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)SPR025428438</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(SPR)s12175-012-0015-z-e</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chajda, Ivan</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic effect algebras</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Versita Warsaw and Springer-Verlag Wien 2012</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” 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 every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">effect algebra</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">lattice effect algebra</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">tense operators</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">dynamic effect algebra</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kolařík, Miroslav</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Mathematica Slovaca</subfield><subfield code="d">Warsaw : Versita, 2007</subfield><subfield code="g">62(2012), 3 vom: 06. Mai, Seite 379-388</subfield><subfield code="w">(DE-627)548127344</subfield><subfield code="w">(DE-600)2393408-6</subfield><subfield code="x">1337-2211</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:62</subfield><subfield code="g">year:2012</subfield><subfield code="g">number:3</subfield><subfield code="g">day:06</subfield><subfield code="g">month:05</subfield><subfield code="g">pages:379-388</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://dx.doi.org/10.2478/s12175-012-0015-z</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_SPRINGER</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_39</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_73</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_74</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_150</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_151</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_161</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_170</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_187</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_293</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_602</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_702</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4249</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4326</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4335</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4338</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4367</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">62</subfield><subfield code="j">2012</subfield><subfield code="e">3</subfield><subfield code="b">06</subfield><subfield code="c">05</subfield><subfield code="h">379-388</subfield></datafield></record></collection>
score	7.3985653

Nicht das Richtige dabei?

Schreiben Sie uns!

Dynamic effect algebras

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?