We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback