Order-Duality, Negation and Lattice Representation
Chrysafis Hartonas · 1996
this paper is to extend this framework to the case of a possibly non-distributive calculus, possibly also lacking an orthonegation operator. The solution we present can be extended to the case of logical systems with a variety of additional operators (Hartonas 1994b). 1.1. Negation and Duality