6 citations · 11 across the 6 of their papers we have counts for
8 papers
Intuitionistic Logic is a Connexive Logic
Davide Fazio, Antonio Ledda, Francesco Paoli
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.…
The higher dimensional propositional calculus
Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda +2
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 p…
On PBZ*-lattices
Roberto Giuntini, Claudia Mureşan, Francesco Paoli
We continue our investigation of paraorthomodular BZ*-lattices (PBZ*-lattices), started in \cite{GLP1+,PBZ2,rgcmfp,pbzsums,pbz5}. We shed further light on the structure of the subv…
Ordinal and Horizontal Sums Constructing PBZ*-lattices
Roberto Giuntini, Claudia Mureşan, Francesco Paoli
PBZ*-lattices are algebraic structures related to quantum logics, which consist of bounded lattices endowed with two kinds of complements, named {\em Kleene} and {\em Brouwer}, suc…
Boolean-like algebras of finite dimension
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli +1
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…
PBZ*-Lattices: Structure Theory and Subvarieties
Roberto Giuntini, Claudia Mureşan, Francesco Paoli
We investigate the structure theory of the variety of \emph{PBZ*-lattices} and some of its proper subvarieties. These lattices with additional structure originate in the foundation…
On some properties of PBZ*-lattices
Roberto Giuntini, Antonio Ledda, Francesco Paoli
We continue the algebraic investigation of PBZ*-lattices, a notion introduced in [12] in order to obtain insights into the structure of certain algebras of effects of a Hilbert spa…
An Abstract Approach to Consequence Relations
Petr Cintula, José Gil Férez, Tommaso Moraschini +1
We generalise the Blok-Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multis…