6 citations · 11 across the 6 of their papers we have counts for
4 papers · 1 filter
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.…
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…