Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Birkhoff, G.: Lattice Theory. Colloquium Publications, vol. 25. American Mathematical Society (reprint, 1984)
2. Lecture Notes in Computer Science;C. Delor,1993
3. Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)
4. Font, J.M., Verdú, V.: Algebraic logic for classical conjunction and disjunction. Studia Logica 50, 391–419 (1991)
5. Freese, R., Ježek, J., Nation, J.B.: Free Lattices. Surveys and Monographs, vol. 42. American Mathematical Society (1995)