Set Representation of Partial Dynamic De Morgan algebras
| Autoři | |
|---|---|
| Rok publikování | 2016 |
| Druh | Článek ve sborníku |
| Konference | 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | https://doi.org/10.1109/ISMVL.2016.14 |
| Obor | Obecná matematika |
| Klíčová slova | De Morgan lattice; De Morgan poset; semi-tense operators; tense operators; (partial) dynamic De Morgan algebra |
| Přiložené soubory | |
| Popis | By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a propositional logic satisfying the double negation law. Our aim is to introduce the so-called tense operators in every De Morgan algebra for to get an algebraic counterpart of a tense logic with negation satisfying the double negation law which need not be Boolean. Following the standard construction of tense operators G and H by a frame we solve the following question: if a dynamic De Morgan algebra is given, how to find a frame such that its tense operators G and H can be reached by this construction. |
| Související projekty: |