7 citations · 20 across the 14 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
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…
math.LO2022
Universal Clone Algebra
Antonino Salibra
We develop a new general framework for algebras and clones, called Universal Clone Algebra. Algebras and clones of finitary operations are to Universal Algebra what t-algebras and…