![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
Tense Operators and Dynamic De Morgan algebras
Autoři | |
---|---|
Rok publikování | 2013 |
Druh | Článek ve sborníku |
Konference | 2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013) |
Fakulta / Pracoviště MU | |
Citace | |
Doi | http://dx.doi.org/10.1109/ISMVL.2013.56 |
Obor | Obecná matematika |
Klíčová slova | De Morgan lattice; De Morgan poset; tense operators; dynamic De Morgan algebra |
Popis | 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. |