Zobrazeno 1 - 10
of 453
pro vyhledávání: '"A. Salibra"'
Clones of operations of arity $\omega$ (referred to as $\omega$-operations) have been employed by Neumann to represent varieties of infinitary algebras defined by operations of at most arity $\omega$. More recently, clone algebras have been introduce
Externí odkaz:
http://arxiv.org/abs/2303.05471
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 22, Iss Proc. LINEARITY 2009, Pp 38-48 (2010)
Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, prov
Externí odkaz:
https://doaj.org/article/8a8580c6e36c41e5955625f8271df10f
Autor:
Bucciarelli, Antonio, Curien, Pierre-Louis, Ledda, Antonio, Paoli, Francesco, Salibra, Antonino
In recent research, some of the present authors introduced the concept of an n-dimensional Boolean algebra and its corresponding propositional logic nCL, generalising the Boolean propositional calculus to n>= 2 perfectly symmetric truth values. This
Externí odkaz:
http://arxiv.org/abs/2204.00435
Autor:
Salibra, Antonino
We develop a new general framework for algebras and clones, called Universal Clone Algebra. Algebras and clones of finitary operations are to Universal Algebra what t-algebras and clone algebras are to Universal Clone Algebra. Clone algebras have bee
Externí odkaz:
http://arxiv.org/abs/2203.14054
We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety in the sense of universal algebra. The most natural clone algebras, the
Externí odkaz:
http://arxiv.org/abs/2010.14461
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.
Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA is a cluster of n isomorphic right-handed skew BAs, axiomatised here a
Externí odkaz:
http://arxiv.org/abs/1905.12327
We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the so-called n-c
Externí odkaz:
http://arxiv.org/abs/1806.06537
Autor:
Luciana Salibra
Publikováno v:
Italiano LinguaDue, Vol 14, Iss 1 (2022)
L’indagine si concentra sull’aderenza del ricettario al canone della prescrittività, evidenziandone i supporti lessicali, che fanno riferimento al ruolo dell’enunciatore e alla pressione sul destinatario, le forme verbali ricorrenti e gli allo
Externí odkaz:
https://doaj.org/article/cf3a64252f5e42bc9e4ab6d850010d39
Autor:
Salibra, A.1 (AUTHOR) salibra@unive.it, Bucciarelli, A.2 (AUTHOR), Ledda, A.3 (AUTHOR), Paoli, F.3 (AUTHOR)
Publikováno v:
Foundations of Science. Mar2023, Vol. 28 Issue 1, p115-142. 28p.