Weak relative pseudo-complements of closure operators

Algebra Universalis

Volumn 36, Issue 3, 1996, Pages 405-412

  Giacobazzi, R ^a   Palamidessi, C ^b   Ranzato, F ^c  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

^c UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030456695     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01236765     Document Type: Article

References (8)

1. BIRKHOFF, G., Lattice Theory. AMS Colloquium Publications vol. XXV, 3rd edition, 1967.
2. CORTESI, A., FILÉ, G., GIACOBAZZI, R., PALAMIDESSI, C. and RANZATO, F., Complementation in abstract interpretation. In A. Mycroft, ed., Proc. of the 2nd Static Analysis Symposium, Lecture Notes in Computer Science 983, pp. 100-117. Springer Verlag, 1995.
3. COUSOT, P. and COUSOT, R., Systematic design of program analysis frameworks. In Conference Record of the 6th ACM Symposium on Principles of Programming Languages, pp. 269-282. ACM Press, 1979.
4. DWINGER, P., On the closure operators of a complete lattice. Indagationes Math., 16 (1954), 560-563.
5. GIERZ, G., HOFMANN, K. H., KEIMEL, K., LAWSON, J. D., MISLOVE, M. AND SCOTT, D. S., A Compendium of Continuous Lattices. Springer Verlag, 1980.
6. MORGADO, J., On complete congruences of complete lattices. Portugal. Math., 21 (1) (1962), 11-25.
7. MORGADO, J., Note on complemented closure operators of complete lattices. Portugal. Math., 21 (3) (1962), 135-142.
8. VARLET, J., Contribution à l'étude des treillis pseudo-complémentés et des treillis de Stone. Mémoires de la Société Royale des Sciences de Liège, 5eme série, 8(4), 71 pages, 1963.