Lattice-based relation algebras and their representability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2929, Issue , 2004, Pages 231-255

  Düntsch, Ivo ^a   Orłowska, Ewa ^b   Radzikowska, Anna Maria ^c  

^a BROCK UNIVERSITY   (Canada)

^b NATIONAL INSTITUTE OF TELECOMMUNICATIONS   (Poland)

^c WARSAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248881632     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (27)

1. Allwein, G and Dunn, J. M. (1993). Kripke models for linear logic. J. Symb. Logic, 58, 514-545.
2. Allwein, G. (2003). Private communication.
3. Chin, L. and Tarski, A. (1951). Distributive and modular laws in the arithmetic of relation algebras. University of California Publications in Mathematics 1, 341-384.
4. Comer, S. (1991). An algebraic approach to the approximation of information. Fundamenta Informaticae 14, 492-502.
5. Comer, S. (1993). On connections between information systems, rough sets and algebraic logic. In: Rasiowa, H. and Rauszer, C. (eds), Algebraic Methods in Logic, Algebra and Computer Science, Banach Center Publications, Warsaw.
6. Demri, S. and Orłowska, E. (2002). Incomplete Iformation: Structure, Inference, Complexity. EATCS Monographs in Theoretical Computer Science, Springer.
7. Dilworth, R. P. and Ward, N. (1939). Residuated lattices. Transactions of the American Mathematical Society 45, 335-354.
8. Dunn, J. M. (2001). Gaggle theory: an abstraction of Galois connections and residuation, with application to nagation, implication and various logical operators. Lecture Notes in Artificial Intelligence 478, Springer-Verlag, 31-51.
9. Düntsch, I. (1994). Rough relation algebras. Fundamenta Informaticae 21, 321-331.
10. Düntsch, I. and Orłowska, E. (2001). Beyond modalities: sufficiency and mixed algebras. In: Orłowska, E. and Szalas, A. (eds) Relational Methods for Computer Science Applications, Physica-Verlag, Heidelberg, 263-285.
11. Düntsch, I. and Orłowska, E. (2002). Boolean algebras arising from information systems. Proceedings of the Tarski Centenary Conference, Banach Centre, Warsaw, June 2001. To appear.
12. Esteva. F. and Godo, L. (2001). Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271-288.
13. Esteva, F. and Godo, L. (2001). On complete residuated many-valued logics with t-norm conjunction. Proceedings of the 31st International Symposium on Multiple-Valued Logic, Warsaw, Poland, 81-86.
14. Gehrke, M. and Jónsson, B. (1994). Bounded distributive lattices with operators. Mathematica Japonica 40, No 2, 207-215.
15. Grätzer, G. (1978). General Lattice Theory. Basel Birkhäuser.
16. Hajek, P. (1998). Metamathematics of Fuzzy Logic, Kluwer, Dordrecht.
17. Höhle, U. (1996). Commutative, residuated l-monoids. In [18], 53-106.
18. Höhle, U. and Klement, U. P. (eds) (1996). Non-Classical Logics and their Applications to Fuzzy Subsets, Kluwer, Dordrecht.
19. Jónsson, B. and Tarski, A. (1951) Boolean algebras with operators. Part I. American Journal of Mathematics 73, 891-936.
20. Kawahara, Y. and Furusawa, H. (1999) An algebraic formalization of fuzzy relations. Fuzzy Sets and Systems 101, 125-135
21. Orłowska, E. (1995). Information algebras. Lecture Notes in Computer Science. 639, Proceedings of AMAST'95, Montreal, Canada, 50-65.
22. Orłowska, E. and Radzikowska, A. M. (2001). Information relations and opeators based on double residuated lattices. Procedings of the 6th International Workshop on Relational Methods in Computer Science RelMiCS'01, Oisterwijk, Netherlands, 185-199.
23. Orłowska, E. and Radzikowska, A. M. (2002). Double residuated lattices and their applications. Relational Methods in Computer Science, H. C. M. de Swart (ed), Lecture Notes in Computer Science 2561, Springer-Verlag, Heidelberg, 171-189.
24. Orłowska, E. and Vakarelov, D. (2003). Lattices with modal operators and lattice-based modal logic. Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science, Oviedo, August 2003, to appear. Abstract in the Volume of Abstracts, 22-23.
25. Sofronie-Stokkermans, V. (2000). Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. Studia Logica 64, Part I pp. 93-122,
26. Sofronie-Stokkermans, V. Studia Logica Part II, 151-172.
27. Urquhart, A. (1978). A topological representation theorem for lattices. Algebra Universalis 8, 45-58.