Tense Operators and Dynamic De Morgan Algebras

To every propositional logic satisfying double negation law is assigned a De Morgan poset ε. Using of axioms for an universal quantifier, we set up axioms for the so-called tense operators G and H on ε. The triple D = (ε; G, H) is called a (partial) dynamic De Morgan algebra. We solve the following...

Full description

Saved in:
Bibliographic Details
Main Authors: Chajda, I., Paseka, J.
Format: Conference Proceeding
Language:English
Subjects:
Algebra
De Morgan lattice
De Morgan poset
dynamic De Morgan algebra
Educational institutions
Electronic mail
Geometry
Lattices
Quantum mechanics
tense operators
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:To every propositional logic satisfying double negation law is assigned a De Morgan poset ε. Using of axioms for an universal quantifier, we set up axioms for the so-called tense operators G and H on ε. The triple D = (ε; 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.
ISSN:0195-623X
2378-2226
DOI:10.1109/ISMVL.2013.56