Abstract:
|
Lattices, distributive lattices, Hilbert algebras, relatively pseudo-complemented lattices and boolean algebras are structures which often arise in mathematical logic by means of some axioms and Tarski-Lindembaum quotients, or by some valuations and later identifications . In this paper we characterize these structures from a logical point of view, using conditions connecting the operacions with the consequence operator which defines the logic . |