Cylindric algebras of De Morgan-valued logic
Logic
2014-09-02 v1
Abstract
We construct a De Morgan algebra-valued logic with quantifiers, where the truth values are in a finite De Morgan algebra, We show that there is a representation theorem of the cylindric algebra of this logic from which a completeness theorem for De Morgan algebra-valued logic follows. This is a generalization of the results in [2].
Keywords
Cite
@article{arxiv.1409.0224,
title = {Cylindric algebras of De Morgan-valued logic},
author = {Norman Feldman},
journal= {arXiv preprint arXiv:1409.0224},
year = {2014}
}