Detailed Information on Publication Record
2016
Set Representation of Partial Dynamic De Morgan algebras
CHAJDA, Ivan and Jan PASEKABasic information
Original name
Set Representation of Partial Dynamic De Morgan algebras
Authors
CHAJDA, Ivan (203 Czech Republic) and Jan PASEKA (203 Czech Republic, guarantor, belonging to the institution)
Edition
LOS ALAMITOS, 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), p. 119-124, 6 pp. 2016
Publisher
IEEE COMPUTER SOC
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10101 Pure mathematics
Country of publisher
United States of America
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
storage medium (CD, DVD, flash disk)
RIV identification code
RIV/00216224:14310/16:00088577
Organization unit
Faculty of Science
ISBN
978-1-4673-9488-8
ISSN
UT WoS
000386537300021
Keywords in English
De Morgan lattice; De Morgan poset; semi-tense operators; tense operators; (partial) dynamic De Morgan algebra
Tags
International impact, Reviewed
Změněno: 20/4/2017 11:46, Ing. Andrea Mikešková
Abstract
V originále
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.
Links
| GA15-15286S, research and development project |
| ||
| GF15-34697L, research and development project |
|