arXiv subjects

Norman Feldman

Publications and source records attributed to Norman Feldman.

2 recordsLinked to original sources

arXiv2015

Functional representation of substitution algebras

We show that the class of representable substitution algebras is characterized by a set of universal first order sentences. In addition, it is shown that a necessary and sufficient condition for a substitution algebra to be representable is that it is embeddable in a substitution algebra in which elements are distinguished. Furthermore, conditions in terms of neat embeddings are shown to be equivalent to representability.

math.LO↗

arXiv2014

Cylindric algebras of De Morgan-valued logic

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].

math.LO↗