2 papers
cs.LO2026
Cubical Type Theoretic Navya-NyÄya
Mrityunjoy Panday, Sudipta Ghosh
We present a formalization of the technical language of Navya-Nyaya - the "New Logic" school of late-classical Indian philosophy - in CCHM De Morgan cubical type theory (CTT). Prev…
math.GT2025
Degree-1 maps and rank inequalities in Heegaard Floer homology
Fraser Binns, Sudipta Ghosh
Ghosh-Sivek-Zentner constructed degree-1 maps from certain rational homology solid tori to the twisted -bundle over the Klein bottle. We show that these maps yield rank inequali…