A coalgebraic approach to non-determinism: Applications to multilattices

Information Sciences

Volumn 180, Issue 22, 2010, Pages 4323-4335

  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; Multilattices; Non determinism

Indexed keywords

COALGEBRAIC; COALGEBRAS; FORMAL CONTEXTS; FORMAL FRAMEWORK; LATTICES; MULTILATTICES; NON-DETERMINISM; NONDETERMINISTIC COMPUTATION; UNIVERSAL ALGEBRA;

COMPUTER SCIENCE;

ALGEBRA;

EID: 77956393670     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.07.002     Document Type: Article

References (44)

1. J. Adámek, H. Herrlich, and G. Strecker Abstract and Concrete Categories 1990 Wiley-Interscience
2. G. Aguilera, A. Burrieza, P. Cordero, I.P. de Guzmán, and E. Muñoz MAT Logic: a temporal × modal logic with non-deterministic Lecture Notes in Computer Science 4140 2006 602 611
3. M. Barr, and C. Wells Category Theory for Computing Science 1990 Prentice Hall International
4. M. Benado Asupra unei generalizǎri a noiunii de structurǎ Academy of the People's Republic of Romania. Bulletin of Sciences, section of Physical and Mathematical Sciences 5 1953 41 48
5. M. Benado Asupra teoriei divizibilitǎii Academy of the People's Republic of Romania. Bulletin of Sciences, section of Physical and Mathematical Sciences 6 1954 263 270
6. M. Benado Les ensembles partiellement ordonnés et le théorme de raffinement de Schreier. I Czechoslovak Mathematical Journal 4 2 1954 105 129
7. F. Bonchi, and U. Montanari Coalgebraic models for reactive systems Lecture Notes in Computer Science 4703 2007 364 379
8. F. Bonchi, and U. Montanari G-reactive systems as coalgebras Electronic Notes in Theoretical Computer Science 203 6 2008 3 17
9. I. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego Fuzzy congruence relations on nd-groupoids International Journal on Computer Mathematics 86 2009 1684 1695
10. I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, On congruences, ideals and homomorphisms over multilattices, in: EUROFUSE Workshop on Preference Modelling and Decision Analysis, 2009, pp. 299-304.
11. I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego Congruence relations on some hyperstructures Annals of Mathematics and Artificial Intelligence 56 3-4 2009 361 370
12. I. Chajda, and M. Kolaík Nearlattices Discrete Mathematics 308 21 2008 4906 4913
13. P. Cordero, G. Gutiérrez, J. Martínez, and I.P. de Guzmán A new algebraic tool for automatic theorem provers. Multisemilattice: a structure to improve the efficiency of provers in temporal logics Annals of Mathematics and Artificial Intelligence 42 4 2004 369 398
14. P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, I. de las Peñas, Congruence relations on multilattices, in: International FLINS Conference on Computational Intelligence in Decision and Control, FLINS'08, 2008, pp. 139-144.
15. P. Cordero, A. Mora, I.P. de Guzmán, and M. Enciso Non-deterministic ideal operators. An adequate tool for formalization in Data Bases Discrete Applied Mathematics 156 6 2008 911 923
16. P. Corsini, and V. Leoreanu Applications of Hyperstructure Theory 2003 Kluwer
17. C. Damásio, J. Medina, and M. Ojeda-Aciego Termination of logic programs with imperfect information: applications and query procedure Journal of Applied Logic 5 3 2007 435 458
18. S. Ghilardi Unification in intuitionistic logic The Journal of Symbolic Logic 64 2 1999 859 880
19. M. Hadzic, and E. Chang Using coalgebra and coinduction to define ontology-based multi-agent systems International Journal of Metadata, Semantics and Ontologies 3 3 2008 197 209
20. D.J. Hansen An axiomatic characterization of multilattices Discrete Mathematics 33 1 1981 99 101
21. D. Hausmann, T. Mossakowski, and L. Schröder A coalgebraic approach to the semantics of the ambient calculus Theoretical Computer Science 366 1-2 2006 121 143
22. B. Jacobs Many-sorted coalgebraic modal logic: a model-theoretic study Theoretical Informatics and Applications 35 1 2001 31 59
23. B. Jacobs Coalgebraic trace semantics for combined possibilitistic and probabilistic systems Electronic Notes in Theoretical Computer Science 203 5 2008 131 152
24. I.J. Johnston, Modularity and distributivity in directed multilattices, Ph.D. Thesis, Queen's University, Belfast, 1985.
25. I.J. Johnston Some results involving multilattice ideals and distributivity Discrete Mathematics 83 1 1990 27 35
26. J. Khan, and A. Haque Computing with data non-determinism: wait time management for peer-to-peer systems Computer Communications 31 3 2008 629 642
27. J. Kim Coinductive properties of causal maps Lecture Notes in Computer Science 5140 2008 253 267
28. M. Kloetzer, C. Belta, Managing non-determinism in symbolic robot motion planning and control, in: Proceedings - IEEE International Conference on Robotics and Automation, 2007, pp. 3110-3115.
29. M. Konstantinidou, and J. Mittas An introduction to the theory of hyperlattices Math. Balkanica 7 1977 187 193
30. J. Martínez, G. Gutiérrez, I.P. de Guzmán, and P. Cordero Generalizations of lattices via non-deterministic operators Discrete Mathematics 295 1-3 2005 107 141
31. J. Martínez, G. Gutiérrez, I.P. de Guzmán, P. Cordero, Multilattices via multisemilattices, in: Topics in Applied and Theoretical Mathematics and Computer Science, WSEAS, 2001, pp. 238-248.
32. F. Marty, Sur une généralisation de la notion de groupe, in: The Eighth Congress Math. Scandinaves, 1934, pp. 45-49.
33. J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño Fuzzy logic programming via multilattices Fuzzy Sets and Systems 158 6 2007 674 688
34. S. Meng, and L. Barbosa Components as coalgebras: the refinement dimension Theoretical Computer Science 351 2 2006 276 294
35. J. Mittas, and M. Konstantinidou Sur une nouvelle géné ralisation de la notion de treillis: les supertreillis et certaines de leurs propriétés générales Annales Scientifiques de l'Université de Clermont-Ferrand 2, Tome 94, Série Mathématiques 25 1989 61 83
36. Ø. Ore, Theory of graphs, vol. 38, Colloquium publications, American Mathematical Society, 1967.
37. S. Rudeanu, and D. Vaida Multilattices in informatics: introductory examples Revista de Logica 4 2009 1 8
38. J. Rutten Universal coalgebra: a theory of systems Theoretical Computer Science 249 1 2000 3 80
39. D. Schweigert Near lattices Mathematica Slovaca 32 3 1982 313 317
40. M. Sun Services and contracts: coalgebraically Electronic Notes in Theoretical Computer Science 212 2008 207 223
41. M. Tomita Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems 1985 Kluwer Academic Publishers
42. D. Vaida Note on some order properties related to processes semantics I Fundamenta Informaticae 73 1-2 2006 307 319
43. D. Varacca, and G. Winskel Distributing probability over non-determinism Mathematical Structures in Computer Science 16 1 2006 87 113
44. Y. Venema Automata and fixed point logic: a coalgebraic perspective Information and Computation 204 4 2006 637 678