Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1368609,
author = {Chajda, Ivan and Paseka, Jan},
address = {LOS ALAMITOS},
booktitle = {2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016)},
doi = {http://dx.doi.org/10.1109/ISMVL.2016.14},
keywords = {De Morgan lattice; De Morgan poset; semi-tense operators; tense operators; (partial) dynamic De Morgan algebra},
howpublished = {paměťový nosič},
language = {eng},
location = {LOS ALAMITOS},
isbn = {978-1-4673-9488-8},
pages = {119-124},
publisher = {IEEE COMPUTER SOC},
title = {Set Representation of Partial Dynamic De Morgan algebras},
year = {2016}
}
TY - JOUR
ID - 1368609
AU - Chajda, Ivan - Paseka, Jan
PY - 2016
TI - Set Representation of Partial Dynamic De Morgan algebras
PB - IEEE COMPUTER SOC
CY - LOS ALAMITOS
SN - 9781467394888
KW - De Morgan lattice
KW - De Morgan poset
KW - semi-tense operators
KW - tense operators
KW - (partial) dynamic De Morgan algebra
N2 - 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.
ER -
CHAJDA, Ivan a Jan PASEKA. Set Representation of Partial Dynamic De Morgan algebras. In \textit{2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016)}. LOS ALAMITOS: IEEE COMPUTER SOC, 2016, s.~119-124. ISBN~978-1-4673-9488-8. Dostupné z: https://dx.doi.org/10.1109/ISMVL.2016.14.
|
