Finitary coalgebraic multisemilattices and multilattices

Applied Mathematics and Computation

Volumn 219, Issue 1, 2012, Pages 31-44

  Cabrera, I P ^a   Cordero, P ^a   Gutierrez G ^a   Martinez J ^a   Ojeda Aciego, M ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Coalgebras; Lattices; Multilattice; Non determinism

Indexed keywords

COALGEBRAIC; COALGEBRAS; MULTILATTICE; NON-DETERMINISM;

COMPUTATIONAL METHODS; CRYSTAL LATTICES;

MATHEMATICAL TECHNIQUES;

EID: 84864290498     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2011.10.081     Document Type: Conference Paper

References (36)

1. F. Arbab, C. Baier, F.S. de Boer, and J.J.M.M. Rutten Models and Temporal Logics for Timed Component Connectors SEFM 2004 IEEE Computer Society 198 207
2. M. Benado Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. I Čehoslovack. Mat. Ž. 4 79 1954 105 129
3. I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego A coalgebraic approach to non-determinism: applications to multilattices Inform. Sci. 180 2010 4323 4335
4. B.F. Chellas Modal Logic: An Introduction 1980 Cambridge University Press
5. B. Coecke, and D. Pavlovic Quantum measurements without sums The Mathematics of Quantum Computation and Technology 2008 Taylor and Francis 559 596 (chapter 16)
6. P. Cordero, G. Gutiérrez, J. Martínez, and I.P. de Guzmán A new algebraic tool for automatic theorem provers Ann. Math. Artif. Intell. 42 4 2004 369 398
7. P. Corsini, and V. Leoreanu Applications of Hyperstructure Theory 2003 Kluwer
8. C.V. Damásio, J. Medina, and M. Ojeda-Aciego Sorted multi-adjoint logic programs: termination results and applications Lect. Notes Comput. Sci. 3229 2004 252 265
9. L.A. Dennis, A. Bundy, and I. Green Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts Ann. Math. Artif. Intell. 29 1-4 2000 99 138
10. P.L. Erdos, P. Sziklai, and D.C. Torney A finite word poset Electron. J. Combin. 8 2 2001 10 (electronic)
11. J. Goguen L-fuzzy sets J. Math. Anal. Appl. 18 1967 145 174
12. G. Grätzer General Lattice Theory second ed. 1998 Birkhäuser
13. D.J. Hansen An axiomatic characterization of multilattices Discrete Math. 33 1 1981 99 101
14. B. Jacobs Objects and classes, co-algebraically Object Orientation with Parallelism and Persistence 1996 Kluwer Academic Publishers 83 103
15. B. Jacobs The temporal logic of coalgebras via Galois algebras Math. Struct. Comput. Sci. 12 6 2002 875 903
16. B. Jacobs, and J.J.M.M. Rutten A tutorial on (co)algebras and (co)induction Bull. Euro. Assoc. Theoret. Comput. Sci. 62 1997 222 259
17. R. Kato, and O. Watanabe Substring search and repeat search using factor oracles Inform. Process. Lett. 93 6 2005 269 274
18. A. Kurz Specifying coalgebras with modal logic Theoret. Comput. Sci. 260 1-2 2001 119 138
19. J. Martínez, G. Gutiérrez, I.P. de Guzmán, and P. Cordero Generalizations of lattices via non-deterministic operators Discrete Math. 295 1-3 2005 107 141
20. J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño Fuzzy logic programming via multilattices Fuzzy Sets Syst. 158 6 2007 674 688
21. J. Medina, M. Ojeda-Aciego, and P. Vojtáš Multi-adjoint logic programming with continuous semantics Lect. Notes Artif. Intell. 2173 2001 351 364
22. J. Medina, M. Ojeda-Aciego, and P. Vojtáš Similarity-based unification: a multi-adjoint approach Fuzzy Sets Syst. 146 1 2004 43 62
23. M. Middendorf, and D.F. Manlove Combined supersubstring and supersubsequence problems Theoret. Comput. Sci. 320 2-3 2004 247 267
24. L.S. Moss Coalgebraic logic Ann. Pure Appl. Logic 96 1-3 1999 277 317
25. A. Palmigiano A coalgebraic view on positive modal logic Theoret. Comput. Sci. 327 1-2 2004 175 195
26. T. Porter Interpreted systems and Kripke models for multiagent systems from a categorical perspective Theoret. Comput. Sci. 323 1-3 2004 235 266
27. H. Reichel An approach to object semantics based on terminal co-algebras Math. Struct. Comput. Sci. 5 2 1995 129 152
28. W.C. Rounds, and G.-Q. Zhang Clausal logic and logic programming in algebraic domains Inform. Comput. 171 2 2001 183 200
29. S. Rudeanu, and D. Vaida Multilattices in informatics: introductory examples Revista de Logica 1 43 2009
30. J.J.M.M. Rutten Universal coalgebra: a theory of systems Theoret. Comput. Sci. 249 1 2000 3 80
31. L. Schröder, D. Pattinson, Description logics and fuzzy probability, in: Proceedings of International Joint Conference on Artificial Intelligence, 2011, pp. 1075-1080.
32. S.A. Solovyov On the category Set(JCPos) Fuzzy Sets Syst. 157 3 2006 319 470
33. J. Tian, and B.-L. Li Coalgebraic structure of genetic inheritance Math. Biosci. Eng. 1 2 2004 243 266
34. D. Vaida Note on some order properties related to processes semantics I Fundamenta Informaticae 73 1-2 2006 307 319
35. P. Vojtáš Fuzzy logic programming Fuzzy Sets Syst. 124 3 2001 361 370
36. P. Wegner, and D. Goldin Coinductive models of finite computing agents Electron. Notes Theor. Comput. Sci. 19 1999 21 (electronic)