Set Representation of Partial Dynamic De Morgan algebras

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

CHAJDA Ivan PASEKA Jan

Year of publication 2016
Type Article in Proceedings
Conference 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016)
MU Faculty or unit

Faculty of Science

Citation
Doi http://dx.doi.org/10.1109/ISMVL.2016.14
Field General mathematics
Keywords De Morgan lattice; De Morgan poset; semi-tense operators; tense operators; (partial) dynamic De Morgan algebra
Attached files
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.