Zobrazeno 1 - 10
of 183
pro vyhledávání: '"Vidal, Amanda"'
Autor:
Vidal, Amanda
Modal extensions of Product fuzzy logic can be considered both over Kripke models whose accessibility relation is valued, and over Kripke models with classical accessibility relation. We study the local consequence of the previous two modal Product l
Externí odkaz:
http://arxiv.org/abs/2306.13903
Autor:
Vilaça, Sibelle Torres, Vidal, Amanda F., Pavan, Ana Carolina D’Oliveira, Silva, Bruno Marques, Carvalho, Carolina S., Povill, Cintia, Luna-Lucena, Danielle, Nunes, Gisele L., Figueiró, Henrique Vieira, Mendes, Izabela Santos, Bittencourt, Jose Augusto P., Côrtes, Lara Gomes, Costa Canesin, Lucas Eduardo, Oliveira, Renato R.M., Damasceno, Roberta P., Vasconcelos, Santelmo, Barreto, Silvia B., Tavares, Valeria, Oliveira, Guilherme, Martins, Amely Branquinho, Aleixo, Alexandre
Publikováno v:
In Cell Genomics 13 November 2024 4(11)
Autor:
Vidal, Amanda
In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal many-valued logics. We exhibit a large family of these modal logics which
Externí odkaz:
http://arxiv.org/abs/2101.08767
The aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou et al.'s
Externí odkaz:
http://arxiv.org/abs/1909.07674
Autor:
Vidal, Amanda
This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressibility questions of modal logics of transitive Kripke frames evaluated over certain residuated lattices. It is shown
Externí odkaz:
http://arxiv.org/abs/1904.01407
Autor:
Dellunde, Pilar, Vidal, Amanda
How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic approach to the analysis of complexity in fuzzy constraint satisfaction. W
Externí odkaz:
http://arxiv.org/abs/1902.04817
Publikováno v:
In Fuzzy Sets and Systems 15 December 2020 401:163-188
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.