2 papers
math.LO2021
Negation-Free Definitions of Paraconsistency
Sankha S. Basu, Sayantan Roy
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators o…
math.LO2014
Mass problems and intuitionistic higher-order logic
Sankha S. Basu, Stephen G. Simpson
In this paper we study a model of intuitionistic higher-order logic which we call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the category of sheaves of s…