Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
CPO-models for second order lambda calculus with recursive types and subtyping
Critical theories of varieties of semigroups satisfying a permutation identity.
Curry algebras
In [6] da Costa has introduced a new hierarchy , of logics that are both paraconsistent and paracomplete. Such logics are now known as non-alethic logics. In this article we present an algebraic version of the logics and study some of their properties.
Cylindric probability algebras.