Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1139007, author = {Chajda, Ivan and Paseka, Jan}, address = {NEW YORK}, booktitle = {2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013)}, doi = {http://dx.doi.org/10.1109/ISMVL.2013.56}, keywords = {De Morgan lattice; De Morgan poset; tense operators; dynamic De Morgan algebra}, howpublished = {paměťový nosič}, language = {eng}, location = {NEW YORK}, isbn = {978-0-7695-4976-7}, pages = {225-230}, publisher = {IEEE}, title = {Tense Operators and Dynamic De Morgan algebras}, year = {2013} }
TY - JOUR ID - 1139007 AU - Chajda, Ivan - Paseka, Jan PY - 2013 TI - Tense Operators and Dynamic De Morgan algebras PB - IEEE CY - NEW YORK SN - 9780769549767 KW - De Morgan lattice KW - De Morgan poset KW - tense operators KW - dynamic De Morgan algebra N2 - 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. ER -
CHAJDA, Ivan a Jan PASEKA. Tense Operators and Dynamic De Morgan algebras. In \textit{2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013)}. NEW YORK: IEEE, 2013, s.~225-230. ISBN~978-0-7695-4976-7. Dostupné z: https://dx.doi.org/10.1109/ISMVL.2013.56.
|