3 papers
quant-ph2026
Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
Anuj Dawar, Nihil Shah
The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the par…
cs.LO2025
A categorical account of composition methods in logic (extended version)
Tomáš Jakl, Dan Marsden, Nihil Shah
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of sim…
cs.LO2024
Linear Arboreal Categories
Samson Abramsky, Yoà v Montacute, Nihil Shah
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categories with tree-shaped objects. These categories provide a categorical language for formalising behavioural…