1 paper · 1 filter
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…