46 citations
- Schlumberger (United States)US5 papers
- University of JohannesburgZA4 papers
- Clayton State UniversityUS2 papers
- Rice UniversityUS2 papers
- Shenzhen Institutes of Advanced TechnologyCN2 papers
- University of HaifaIL2 papers
- Case Western Reserve UniversityUS1 paper
- Dalton State CollegeUS1 paper
- Emory UniversityUS1 paper
- Houston Fertility InstituteUS1 paper
- Keene State CollegeUS1 paper
- National Institute of Science Education and ResearchIN1 paper
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…