46 citations · 111 across the 33 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Functional completeness and primitive positive decomposition of relations on finite domains
Sergiy Koshkin
We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in appl…
math.LO2024★ 1 cited
Logical reduction of relations: from relational databases to Peirce's reduction thesis
Sergiy Koshkin
We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifie…
math.LO2024★ 2 cited
Is Peirce's reduction thesis gerrymandered?
Sergiy Koshkin
We argue that traditional formulations of the reduction thesis that tie it to privileged relational operations do not suffice for Peirce's justification of the categories, and invi…