Zobrazeno 1 - 10
of 67
pro vyhledávání: '"STEFANO AGUZZOLI"'
Autor:
STEFANO AGUZZOLI, Matteo Bianchi
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783031280825
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::248813618107013c8c45d69ec3fa6452
https://doi.org/10.1007/978-3-031-28083-2_1
https://doi.org/10.1007/978-3-031-28083-2_1
Autor:
Matteo Bianchi, Stefano Aguzzoli
Publikováno v:
Fuzzy Sets and Systems. 418:84-100
Basic Logic BL, introduced by P. Hajek in 1998, is the logic of all continuous t-norms and their residua. The variety of BL-algebras forms the algebraic semantics of BL. Let L be a variety of BL-algebras, and let L ( L ) be its lattice of subvarietie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dcb2090bc06c0872b866d751bbf97751
https://doi.org/10.1016/j.fss.2020.12.008
https://doi.org/10.1016/j.fss.2020.12.008
Autor:
Matteo Bianchi, Stefano Aguzzoli
Publikováno v:
Studies in Computational Intelligence ISBN: 9783030749699
In this paper we investigate the finite model property (FMP) for varieties of BL-algebras. In particular, we provide a full classification of the FMP for those varieties of BL-algebras which are generated by a finite class of chains with finitely-man
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::036eeb64853e42fe785c751f50c9b971
https://doi.org/10.1007/978-3-030-74970-5_4
https://doi.org/10.1007/978-3-030-74970-5_4
Autor:
Stefano Aguzzoli, Pietro Codara
Publikováno v:
FUZZ-IEEE
The algebraic semantics of Godel propositional logic is given by the variety of Godel algebras, which in turns form a category dually equivalent to the pro-finite completion of the category of finite forests and order-preserving open maps. Forests pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c4b744d459fdc13946258363ab89184
https://doi.org/10.1109/fuzz45933.2021.9494547
https://doi.org/10.1109/fuzz45933.2021.9494547
Publikováno v:
International Journal of Approximate Reasoning. 104:57-74
In the framework of t-norm based logics, Godel propositional logic G and drastic product logic DP are strictly connected. In this paper we explore the even stricter relation between DP and the logic GΔ, the expansion of G with Baaz–Monteiro connec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc49b2b063df2a0e8728fdb8e00878a9
https://doi.org/10.1016/j.ijar.2018.10.016
https://doi.org/10.1016/j.ijar.2018.10.016
Autor:
Stefano Aguzzoli, Brunella Gerla
Publikováno v:
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783030501525
IPMU (3)
IPMU (3)
Using a category dual to finite \(\mathbb {BL}\)-algebras and their homomorphisms, in this paper we characterise the structure of the automorphism group of any given finite \(\mathbb {BL}\)-algebra. Further, we specialise our result to the case of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4267472c06c6c45ce0d7f5db8a668261
https://doi.org/10.1007/978-3-030-50153-2_49
https://doi.org/10.1007/978-3-030-50153-2_49
Publikováno v:
Fundamenta Informaticae. 163:139-163
We show that finite IUML-algebras, which are residuated lattices arising from an idempotent uninorm, can be interpreted as algebras of sequences of orthopairs whose main operation is defined starting from the three-valued Sobociński operator between
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1929d9f1e0c7c16c701f17dad0e40fa9
https://doi.org/10.3233/fi-2018-1735
https://doi.org/10.3233/fi-2018-1735
Autor:
Matteo Bianchi, Stefano Aguzzoli
Publikováno v:
Soft Computing. 23:2129-2146
In this paper, we focus on those varieties of MTL-algebras whose lattice of subvarieties is totally ordered. Such varieties are called linear. We show that a variety $${{\mathbb {L}}}$$ of MTL-algebras is linear if and only if each of its subvarietie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d57ce708cfc22a564e002c5124b4c09f
https://doi.org/10.1007/s00500-018-3423-3
https://doi.org/10.1007/s00500-018-3423-3
Autor:
Stefano Aguzzoli, Matteo Bianchi
Publikováno v:
Fuzzy Sets and Systems. 320:60-63
In this short note we show that given a variety V of FL e w -algebras generated by a well-connected algebra, there always exists a subdirectly irreducible algebra generating V . This solves an open problem first raised in Galatos et al., Residuated l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f9136eb45a65e96cb68027e430937a4
https://doi.org/10.1016/j.fss.2016.11.004
https://doi.org/10.1016/j.fss.2016.11.004