CHAJDA, Ivan a Jan PASEKA. Tense Operators and Dynamic De Morgan algebras. Online. In 2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013). NEW YORK: IEEE, 2013. s. 225-230. ISBN 978-0-7695-4976-7. Dostupné z: https://dx.doi.org/10.1109/ISMVL.2013.56. [citováno 2024-04-23]
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Tense Operators and Dynamic De Morgan algebras
Autoři CHAJDA, Ivan (203 Česká republika) a Jan PASEKA (203 Česká republika, garant, domácí)
Vydání NEW YORK, 2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013), od s. 225-230, 6 s. 2013.
Nakladatel IEEE
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10101 Pure mathematics
Stát vydavatele Spojené státy
Utajení není předmětem státního či obchodního tajemství
Forma vydání paměťový nosič (CD, DVD, flash disk)
Kód RIV RIV/00216224:14310/13:00070832
Organizační jednotka Přírodovědecká fakulta
ISBN 978-0-7695-4976-7
ISSN 0195-623X
Doi http://dx.doi.org/10.1109/ISMVL.2013.56
UT WoS 000325643000039
Klíčová slova anglicky De Morgan lattice; De Morgan poset; tense operators; dynamic De Morgan algebra
Štítky AKR
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Ing. Andrea Mikešková, učo 137293. Změněno: 29. 4. 2014 17:06.
Anotace
To every propositional logic satisfying double negation law is assigned a De Morgan poset E. Using of axioms for an universal quantifier, we set up axioms for the so-called tense operators G and H on E. The triple D = (E; G, H) is called a (partial) dynamic De Morgan algebra. We solve the following questions: first, if a time frame is given, how to construct tense operators G and H; second, if a dynamic De Morgan algebra is given, how to find a time frame such that its tense operators G and H can be reached by this construction.
Návaznosti
EE2.3.20.0051, projekt VaVNázev: Algebraické metody v kvantové logice
VytisknoutZobrazeno: 23. 4. 2024 14:38