21 citations · 37 across the 30 of their papers we have counts for
4 papers · 2 filters
-Bicomplete Categories and Parity Games
Luigi Santocanale
For an arbitrary category, we consider the least class of functors con- taining the projections and closed under finite products, finite coproducts, parameterized initial algebras…
The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)
Luigi Santocanale
The natural join and the inner union operations combine relations of a database. Tropashko and Spight realized that these two operations are themeet and join operations in a class…
Relational lattices via duality
Luigi Santocanale
The natural join and the inner union combine in different ways tables of a relational database. Tropashko [18] observed that these two operations are the meet and join in a class o…
Fixed-point elimination in the intuitionistic propositional calculus
Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Prop…