Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Umberto Rivieccio"'
Autor:
Sérgio Marcelino, Umberto Rivieccio
Publikováno v:
CIÊNCIAVITAE
This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means of finite Hilbert calculi. On the side of negative results, we
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 358:240-253
The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the QN4-lattices satisfying the double negation law (~~x = x) and quasi-Nel
Autor:
Umberto Rivieccio
Publikováno v:
Soft Computing. 26:2671-2688
Publikováno v:
Fuzzy Sets and Systems. 418:64-83
naBL-algebras are non-associative generalizations of BL-algebras obtained from non-associative t-norms (nat-norms). In the present paper we propose a further generalization of BL-algebras where associativity is not required. Such generalization is ba
Autor:
Umberto Rivieccio
Publikováno v:
Logic Journal of the IGPL. 30:807-839
This is the second of a series of papers that investigate fragments of quasi-Nelson logic (QNL) from an algebraic logic standpoint. QNL, recently introduced as a common generalization of intuitionistic and Nelson’s constructive logic with strong ne
Autor:
Umberto Rivieccio, Thiago Nascimento
Publikováno v:
Logical Investigations. 27:107-123
Quasi-Nelson logic is a recently-introduced generalization of Nelson’s constructive logic with strong negation to a non-involutive setting. In the present paper we axiomatize the negation-implication fragment of quasi-Nelson logic (QNI-logic), whic
Autor:
Ramon Jansana, Umberto Rivieccio
Publikováno v:
Mathematical Structures in Computer Science. 31:257-285
The variety of quasi-Nelson algebras (QNAs) has been recently introduced and characterised in several equivalent ways: among others, as (1) the class of bounded commutative integral (but non-necessarily involutive) residuated lattices satisfying the
Autor:
Achim Jung, Umberto Rivieccio
Publikováno v:
Soft Computing. 25:851-868
A series of representation theorems (some of which discovered very recently) present an alternative view of many classes of algebras related to non-classical logics (e.g. bilattices, semi-De Morgan, Nelson and quasi-Nelson algebras) as two-sorted alg
Publikováno v:
Logic Journal of the IGPL. 28:1182-1206
Besides the better-known Nelson logic ($\mathcal{N}3$) and paraconsistent Nelson logic ($\mathcal{N}4$), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ wa
Autor:
Umberto Rivieccio
Publikováno v:
Soft Computing. 24:8685-8716
Twist-structure representation theorems are established for De Morgan and Kleene lattices. While the former result relies essentially on the quasivariety of De Morgan lattices being finitely generated, the representation for Kleene lattices does not