Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Emilio Muñoz-Velasco"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 226, Iss Proc. GandALF 2016, Pp 91-104 (2016)
Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatia
Externí odkaz:
https://doaj.org/article/9129204a7cd342b2b387066408237bdc
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 2 (2018)
In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fra
Externí odkaz:
https://doaj.org/article/7ad391ffee5a43bdab6c31610ff5204c
Autor:
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Publikováno v:
Fuzzy Sets and Systems. 456:107-124
Publikováno v:
RIUMA. Repositorio Institucional de la Universidad de Málaga
instname
instname
The concept of closure operator is key in several branches of mathematics. In this paper, closure operators are extended to relational structures, more specifically to fuzzy relations in the framework of complete fuzzy lattices. The core of the work
Publikováno v:
RIUMA. Repositorio Institucional de la Universidad de Málaga
instname
instname
The aim of this paper is to extend closure systems from being crisp sets with certain fuzzy properties to proper fuzzy sets. The presentation of the paper shows a thorough discussion on the different alternatives that could be taken to define the des
Publikováno v:
Information Sciences. 519:439-450
This paper focuses on a twofold relational generalization of the notion of Galois connection. It is twofold because it is defined between sets endowed with arbitrary transitive relations and, moreover, both components of the connection are relations,
Publikováno v:
Mathematical Methods in the Applied Sciences. 43:5673-5680
Fuzzy-directed graphs are often chosen as the data structure to model and implement solutions to several problems in the applied sciences. Galois connections have also shown to be useful both in theoretical and in practical problems. In this paper, t
Publikováno v:
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783031089701
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18bc073bf523fb806712ea429b439b31
https://doi.org/10.1007/978-3-031-08971-8_9
https://doi.org/10.1007/978-3-031-08971-8_9
Publikováno v:
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783031089701
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d3d0d1780577101ae0636810f55ac18
https://doi.org/10.1007/978-3-031-08971-8_7
https://doi.org/10.1007/978-3-031-08971-8_7
Publikováno v:
Complex Data Analytics with Formal Concept Analysis ISBN: 9783030932770
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f5a28e5c0e98f676110cf10a2ce0e30
https://doi.org/10.1007/978-3-030-93278-7_9
https://doi.org/10.1007/978-3-030-93278-7_9