Showing math.LOShow all
2 papers · 1 filter
math.LO2015
Functional representation of substitution algebras
Norman Feldman
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…
math.LO2014
Cylindric algebras of De Morgan-valued logic
Norman Feldman
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 cyli…