Zobrazeno 1 - 10
of 66
pro vyhledávání: '"CARLES NOGUERA"'
Publikováno v:
International Journal of Computational Intelligence Systems, Vol 13, Iss 1 (2020)
This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal opera
Externí odkaz:
https://doaj.org/article/c9fc6f93971f4a7799453bba287229c6
Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6778133c3f806cf73932e601e07bc8fa
https://hdl.handle.net/11365/1228054
https://hdl.handle.net/11365/1228054
Publikováno v:
Web of Science
In this paper we study frame definability in finitely-valued modal logics and establish two main results via suitable translations: (1) in finitely-valued modal logics one cannot define more classes of frames than are already definable in classical m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7903eb18c4b86aa6fb0f84a9066a74bd
https://hdl.handle.net/11365/1231256
https://hdl.handle.net/11365/1231256
Publikováno v:
Synthese. 200
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d04954a1a8472952ba4291341a711983
https://doi.org/10.1007/s11229-022-03909-2
https://doi.org/10.1007/s11229-022-03909-2
Autor:
Guillermo Badia, Carles Noguera
Publikováno v:
IEEE Transactions on Fuzzy Systems. 29:1386-1394
This article is a contribution to the theoretical study of weighted structures in fuzzy logic. We consider an important item from classical model theory: the construction of models that do not have any collection satisfying certain prescribed propert
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ddc3d9385e710b199bb12997fc19a4c9
https://doi.org/10.1109/tfuzz.2020.2975146
https://doi.org/10.1109/tfuzz.2020.2975146
Publikováno v:
Web of Science
Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent paper (\e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::237b7e51e669f04d2cb42c8e39e1aee0
http://arxiv.org/abs/2207.00086
http://arxiv.org/abs/2207.00086
Autor:
Guillermo Badia, Carles Noguera
This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47bcaf42094762bf376f184028676c95
http://hdl.handle.net/11365/1200968
http://hdl.handle.net/11365/1200968
Autor:
Guillermo Badia, Carles Noguera
Publikováno v:
IEEE Transactions on Fuzzy Systems
This paper continues the theoretical study of weighted structures in mathematical fuzzy logic focusing on the finite model theory of fuzzy logics valued on arbitrary finite MTL-chains. We show that for any first-order (or infinitary with finitely man
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38520ff002f28ad7a61da7d35cffab4b
http://hdl.handle.net/11365/1199916
http://hdl.handle.net/11365/1199916
Autor:
Petr Cintula, Carles Noguera
Publikováno v:
Logic and Implication ISBN: 9783030856748
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41e9a95610261c9292222d23e5c47e26
https://doi.org/10.1007/978-3-030-85675-5_5
https://doi.org/10.1007/978-3-030-85675-5_5
Autor:
Petr Cintula, Carles Noguera
Publikováno v:
Logic and Implication ISBN: 9783030856748
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99c8fb462a391d5422ee7ae182b69d2b
https://doi.org/10.1007/978-3-030-85675-5_1
https://doi.org/10.1007/978-3-030-85675-5_1