CHAJDA, Ivan and Jan PASEKA. De Morgan Algebras with Tense Operators. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. PHILADELPHIA: OLD CITY PUBLISHING INC, 2017, vol. 28, No 1, p. 29-45. ISSN 1542-3980.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name De Morgan Algebras with Tense Operators
Authors CHAJDA, Ivan (203 Czech Republic) and Jan PASEKA (203 Czech Republic, guarantor, belonging to the institution).
Edition JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, PHILADELPHIA, OLD CITY PUBLISHING INC, 2017, 1542-3980.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10101 Pure mathematics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
Impact factor Impact factor: 0.437
RIV identification code RIV/00216224:14310/17:00097592
Organization unit Faculty of Science
UT WoS 000403136800003
Keywords in English De Morgan lattice; De Morgan poset; tense operators; dynamic De Morgan algebra
Tags NZ, rivok
Tags International impact, Reviewed
Changed by Changed by: Ing. Nicole Zrilić, učo 240776. Changed: 31/3/2018 11:11.
Abstract
To every propositional logic satisfying double negation law is assigned a De Morgan poset epsilon. 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 = (epsilon; 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 (strict) 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. In particular, any strict dynamic De Morgan algebra is representable in its Dedekind-MacNeille completion with respect to a suitable countable time frame.
Links
EE2.3.20.0051, research and development projectName: Algebraické metody v kvantové logice
PrintDisplayed: 21/5/2024 20:40