Antonio Ledda

In this paper we give a constructive proof that the variety of Boolean algebras has the strong amalgamation property by describing constructively the strong amalgams in the variety. Then, capitalizing on this construction, we investigate several forms of amalgamation, such as the strong amalgamation property and Maksimova super-amalgamation for the varieties of regular double Stone algebras and centered regular double Stone algebras. In fact, we prove that the amalgamation property holds for the variety RDS. Then, we introduce the variety RDSk of centered regular double Stone algebras and prove that RDSk enjoys the strong amalgamation property. It is also proved that the varieties of Boolean algebras and centered regular double Stone algebras have the super-amalgamation property. We close the paper by providing a number of concrete examples and applications to illustrate the theory developed in the paper.

In this paper we present a construction, on the variety of orthomodular lattices, that generalizes this variety to the non orthocomplemented case: the variety of unsharp orthomodular lattices. Interestingly enough, a relevant deal of the algebraic properties of orthomodular lattices are preserved: as any orthomodular lattice is the union of its Boolean blocks, any unsharp orthomodular lattice will be the union of its building blocks, which can be regarded as regular double Stone algebras. Capitalizing on this construction we will see that it can be turned into a full fledged categorical equivalence between orthomodular lattices indexed by a p-filter and unsharp orthomodular lattices.

We mimick the construction of guard algebras and show how to extract a Church algebra out of the binary functions on an arbitrary algebra, containing a Church subalgebra of binary polynomial operations. We put to good use the weak Boolean product representations of these Church algebras to obtain weak Boolean product representations of the original algebras. Although we cannot, in general, say much about the factors in these products, we identify a number of sufficient conditions for the stalks to be directly indecomposable. As an application, we prove that every skew Boolean algebra is a weak Boolean product of directly indecomposable skew Boolean algebras.

In recent research, some of the present authors introduced the concept of an $n$-dimensional Boolean algebra and its corresponding propositional logic $n\textrm{CL}$, generalizing the Boolean propositional calculus to $n\geq 2$ perfectly symmetric truth values. This paper presents a sound and complete sequent calculus for $n\textrm{CL}$, named $n\textrm{LK}$. We provide two proofs of completeness: one syntactic and one semantic. The former implies as a corollary that $n\textrm{LK}$ enjoys the cut admissibility property. The latter relies on the generalization to the $n$-ary case of the classical proof based on the Lindenbaum algebra of formulas and Boolean ultrafilters.

We continue the investigation, initiated in Salibra et al. (Found Sci, 2020), of Boolean-like algebras of dimension n (nBA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\textrm{BA}$$\end{document}s), algebras having n constants e1,⋯,en\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf e_1,\dots,\mathsf e_n$$\end{document}, and an (n+1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(n+1)$$\end{document}-ary operation q (a “generalised if-then-else”) that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of nBA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\textrm{BA}$$\end{document}s share many remarkable properties with the variety of Boolean algebras and with primal varieties. Putting to good use the concept of a central element, we extend the Boolean power construction to that of a semiring power and we prove two representation theorems: (i) Any pure nBA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\textrm{BA}$$\end{document} is isomorphic to the algebra of n-central elements of a Boolean vector space; (ii) Any member of a variety of nBAs with one generator is isomorphic to a Boolean power of this generator. This yields a new proof of Foster’s theorem on primal varieties.

The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, showing their equivalence with the known semantics by Dunn and Epstein. We also show that DAI is algebraisable and we identify its equivalent quasivariety semantics. This class turns out to be a linguistic and axiomatic expansion of involutive bisemilattices, a subquasivariety of which forms the algebraic counterpart of Paraconsistent Weak Kleene logic. This fact sheds further light on the relationship between containment logics and logics of nonsense.

We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.

Quasi-MV algebras are generalisations of MV algebras arising in quantum computational logic. Although a reasonably complete description of the lattice of subvarieties of quasi-MV algebras has already been provided, the problem of extending this description to the setting of quasivarieties has so far remained open. Given its apparent logical repercussions, we tackle the issue in the present paper. We especially focus on quasivarieties whose generators either are subalgebras of the standard square quasi-MV algebra S , or can be obtained therefrom through the addition of some fixpoints for the inverse

In this paper, we aim at highlighting the significance of the A- and B-properties introduced by Finch (Bull Aust Math Soc 2:57–62, 1970b). These conditions turn out to capture interesting structural features of lattices of closed subspaces of complete inner vector spaces. Moreover, we generalise them to the context of effect algebras, establishing a novel connection between quantum structures (orthomodular posets, orthoalgebras, effect algebras) arising from the logico-algebraic approach to quantum mechanics.

Shi and Aharonov have shown that the Toffoli gate and the Hadamard gate give rise to an approximately universal set of quantum computational gates. We study the basic algebraic properties of this system by introducing the notion of Shi-Aharonov quantum computational structure. We show that the quotient of this structure is isomorphic to a structure based on a particular set of complex numbers (the closed disc with center \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$(\frac{1}{2},\frac{1}{2})$\end{document} and radius \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\frac{1}{2}$\end{document} ).

We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is presented as the assertional logic of a point regular variety (whose structure theory is examined in detail) that turns out to be term equivalent to the variety of Heyting algebras. We provide Hilbert-style and Gentzen-style proof systems for $$\textrm{CHL}$$ CHL ; moreover, we suggest a possible computational interpretation of its connexive conditional, and we revisit Kapsner’s idea of superconnexivity.

We investigate some properties of two varieties of algebras arising from quantum computation - quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras - first introduced in \cite{Ledda et al. 2006}, \cite{Giuntini et al. 200+} and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of $\sqrt{^{\prime }}$ quasi-MV algebras; we give a representation of semisimple $\sqrt{^{\prime }}$ quasi-MV algebras in terms of algebras of functions; finally, we describe the structure of free algebras with one generator in both varieties.

We introduce a sequent system which is Gentzen algebraisable with orthomodular lattices as equivalent algebraic semantics, and therefore can be viewed as a calculus for orthomodular quantum logic. Its sequents are pairs of non-associative structures, formed via a structural connective whose algebraic interpretation is the Sasaki product on the left-hand side and its De Morgan dual on the right-hand side. It is a substructural calculus, because some of the standard structural sequent rules are restricted—by lifting all such restrictions, one recovers a calculus for classical logic.

Paraorthomodular posets are bounded partially ordered sets 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 paraorthomodular posets theory both from algebraic and order-theoretic perspectives. On the one hand, we show that paraorthomodular posets are amenable of an algebraic treatment by means of a smooth representation in terms of bounded directoids with antitone involution. On the other, we investigate their order-theoretical features in terms of forbidden configurations. Moreover, sufficient and necessary conditions characterizing bounded posets with an antitone involution whose Dedekind–MacNeille completion is paraorthomodular are provided.

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.

The variety of residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., \-groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated \-groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated \-groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated \-groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.