Zobrazeno 1 - 10
of 85
pro vyhledávání: '"Petr Cintula"'
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
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
Publikováno v:
The Review of Symbolic Logic. 15:487-504
In this paper we explore the following question: how weak can a logic be for Rosser’s essential undecidability result to be provable for a weak arithmetical theory? It is well known that Robinson’s Q is essentially undecidable in intuitionistic l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b87e4929dca50ed465e1bb4366221f5c
https://doi.org/10.1017/s175502032000012x
https://doi.org/10.1017/s175502032000012x
Publikováno v:
The Review of Symbolic Logic
We generalise the Blok–Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and Jónsson admit, in place of sheer fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a6714629d295af6c3c8a1d701e87424
https://doi.org/10.1017/s175502031900008x
https://doi.org/10.1017/s175502031900008x
Autor:
Petr Cintula, Denisa Diaconescu
Publikováno v:
IEEE Transactions on Fuzzy Systems. 27:273-277
In this paper, we generalize the omitting types theorem, an important result of classical model theory, for a wide class of fuzzy logics, containing the prominent logics of left-continuous t-norms and uninorms.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74daf9d5c2b7710d554e983f139ccf4c
https://doi.org/10.1109/tfuzz.2018.2856084
https://doi.org/10.1109/tfuzz.2018.2856084
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
Autor:
Petr Cintula, Carles Noguera
Publikováno v:
Logic and Implication ISBN: 9783030856748
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99a03167c2619b9c060a3d6f18e8366d
https://doi.org/10.1007/978-3-030-85675-5_7
https://doi.org/10.1007/978-3-030-85675-5_7
Autor:
Petr Cintula, Carles Noguera
Publikováno v:
Logic and Implication ISBN: 9783030856748
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4feb4b8eaae16c47a1c46c7688a1532
https://doi.org/10.1007/978-3-030-85675-5_4
https://doi.org/10.1007/978-3-030-85675-5_4
Autor:
Petr Cintula, Carles Noguera
Publikováno v:
Trends in Logic ISBN: 9783030856748
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::909b2eeae6183589130c115f2f41d89d
https://doi.org/10.1007/978-3-030-85675-5
https://doi.org/10.1007/978-3-030-85675-5