Zobrazeno 1 - 10
of 53
pro vyhledávání: '"FAZIO, DAVIDE"'
Autor:
Aldini, Alessandro, Fazio, Davide, Graziani, Pierluigi, Mascella, Raffaele, Tagliaferri, Mirko
Logical investigations of the notion of secrecy are typically concentrated on tools for deducing whether private information is well hidden from unauthorized, direct, or indirect access attempts. This paper proposes a multi-agent, normal multi-modal
Externí odkaz:
http://arxiv.org/abs/2405.11654
Autor:
Fazio, Davide, Mascella, Raffaele
In this paper we provide a preliminary investigation of subclasses of bounded posets with antitone involution which are "pastings" of their maximal Kleene sub-lattices. Specifically, we introduce super-paraorthomodular lattices, namely paraothomodula
Externí odkaz:
http://arxiv.org/abs/2311.06109
In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a quite natural notion of implication, that admits a suitable notion of ad
Externí odkaz:
http://arxiv.org/abs/2301.09529
Autor:
Fazio, Davide, John, Gavin St.
Publikováno v:
The Review of Symbolic Logic 17 (2024) 878-909
This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FLe-algebras). In particular, we inquir
Externí odkaz:
http://arxiv.org/abs/2209.02830
We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic (CHL), hereby introduced as an example of a strong connexive logic with intuitive semantics. We use the reverse algebraisation paradigm: CHL is presented as the as
Externí odkaz:
http://arxiv.org/abs/2208.14715
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g. (generalize
Externí odkaz:
http://arxiv.org/abs/2105.08528
Paraorthomodular posets are bounded partially ordered set with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics. The aim of the present work is starting a systematic inquiry into par
Externí odkaz:
http://arxiv.org/abs/2011.12791
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.
Autor:
FAZIO, DAVIDE, ST. JOHN, GAVIN
Publikováno v:
Review of Symbolic Logic; Sep2024, Vol. 17 Issue 3, p878-909, 32p
