Zobrazeno 1 - 10
of 133
pro vyhledávání: '"Rivieccio, Umberto"'
Most non-classical logics are subclassical, that is, every inference/theorem they validate is also valid classically. A notable exception is the three-valued propositional Logic of Ordinary Discourse (OL) proposed and extensively motivated by W. S. C
Externí odkaz:
http://arxiv.org/abs/2405.03543
Publikováno v:
Journal of Applied Non-Classical Logics (2024)
Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently
Externí odkaz:
http://arxiv.org/abs/2402.02606
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
Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar-Kleene logics, we modify them by replacing the multiple-
Externí odkaz:
http://arxiv.org/abs/2401.03265
We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations - nowadays more commonly called multiple-conclusion logics - to the setting of non-deterministic matrices (Nmatrices), char
Externí odkaz:
http://arxiv.org/abs/2310.02952
Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras. Their ass
Externí odkaz:
http://arxiv.org/abs/2309.06764
Publikováno v:
EPTCS 358, 2022, pp. 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
Externí odkaz:
http://arxiv.org/abs/2204.06735
Publikováno v:
EPTCS 357, 2022, pp. 56-76
The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determinedness. The variety of perfect paradefinite algebras thus obtained (PP-
Externí odkaz:
http://arxiv.org/abs/2106.09883
Autor:
Marcelino, Sérgio, Rivieccio, Umberto
An involutive Stone algebra (IS-algebra) is a structure that is simultaneously a De Morgan algebra and a Stone algebra (i.e. a pseudo-complemented distributive lattice satisfying the well-known Stone identity ~xv~~x=1). IS-algebras have been studied
Externí odkaz:
http://arxiv.org/abs/2102.05455
Autor:
Marcelino, Sérgio, Rivieccio, Umberto
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
Externí odkaz:
http://arxiv.org/abs/2102.05421