CHAJDA, Ivan a Jan PASEKA. De Morgan Algebras with Tense Operators. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. PHILADELPHIA: OLD CITY PUBLISHING INC, 2017, roč. 28, č. 1, s. 29-45. ISSN 1542-3980.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název De Morgan Algebras with Tense Operators
Autoři CHAJDA, Ivan (203 Česká republika) a Jan PASEKA (203 Česká republika, garant, domácí).
Vydání JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, PHILADELPHIA, OLD CITY PUBLISHING INC, 2017, 1542-3980.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10101 Pure mathematics
Stát vydavatele Spojené státy
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.437
Kód RIV RIV/00216224:14310/17:00097592
Organizační jednotka Přírodovědecká fakulta
UT WoS 000403136800003
Klíčová slova anglicky De Morgan lattice; De Morgan poset; tense operators; dynamic De Morgan algebra
Štítky NZ, rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Ing. Nicole Zrilić, učo 240776. Změněno: 31. 3. 2018 11:11.
Anotace
To every propositional logic satisfying double negation law is assigned a De Morgan poset epsilon. 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 = (epsilon; 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 (strict) 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. In particular, any strict dynamic De Morgan algebra is representable in its Dedekind-MacNeille completion with respect to a suitable countable time frame.
Návaznosti
EE2.3.20.0051, projekt VaVNázev: Algebraické metody v kvantové logice
VytisknoutZobrazeno: 26. 4. 2024 07:00