Zobrazeno 1 - 10
of 2 808
pro vyhledávání: '"Palmigiano, A."'
Autor:
Boersma, Marcel, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Tzimoulis, Apostolos, Wijnberg, Nachoem
Categorization of business processes is an important part of auditing. Large amounts of transactional data in auditing can be represented as transactions between financial accounts using weighted bipartite graphs. We view such bipartite graphs as man
Externí odkaz:
http://arxiv.org/abs/2408.15012
We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (LE algebras). We work in the purely algebraic setting of perfect LEs;
Externí odkaz:
http://arxiv.org/abs/2405.01262
Publikováno v:
Il Foro Italiano, 2005 Jul 01. 128(7/8), 2143/2144-2153/2154.
Externí odkaz:
https://www.jstor.org/stable/23201735
Graph-based frames have been introduced as a logical framework which internalizes an inherent boundary to knowability. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptu
Externí odkaz:
http://arxiv.org/abs/2403.14026
Autor:
De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a semantic environment of various input/output logics. In particular, we
Externí odkaz:
http://arxiv.org/abs/2403.03148
Autor:
De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong
We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general background environment for input/output logics. In this paper, we introd
Externí odkaz:
http://arxiv.org/abs/2402.07336
Autor:
Greati, Vitor, Greco, Giuseppe, Marcelino, Sérgio, Palmigiano, Alessandra, Rivieccio, Umberto
In general, providing an axiomatization for an arbitrary logic is a task that may require some ingenuity. In the case of logics defined by a finite logical matrix (three-valued logics being a particularly simple example), the generation of suitable f
Externí odkaz:
http://arxiv.org/abs/2401.03274
Publikováno v:
Il Foro Italiano, 2011 Nov 01. 134(11), 3183/3184-3197/3198.
Externí odkaz:
http://www.jstor.org/stable/23207106
Publikováno v:
Il Foro Italiano, 2011 Feb 01. 134(2), 627/628-633/634.
Externí odkaz:
http://www.jstor.org/stable/23207448
Publikováno v:
Il Foro Italiano, 2009 Mar 01. 132(3), 895/896-901/902.
Externí odkaz:
https://www.jstor.org/stable/23205996