Mass problems and intuitionistic higher-order logic SS Basu, SG Simpson Computability 5 (1), 29-47, 2016 | 7 | 2016 |
Mass problems and intuitionistic higher-order logic SS Basu, SG Simpson arXiv preprint arXiv:1408.2763, 44 pages, 2014 | 7 | 2014 |
Restricted rules of inference and paraconsistency SS Basu, MK Chakraborty Logic Journal of the IGPL 30 (3), 534-560, 2022 | 4 | 2022 |
Strong and weak reducibility of algorithmic problems AA Muchnik, SS Basu (Translator), SG Simpson (Translator) Computability 5 (1), 49-56, 2016 | 3 | 2016 |
A model of intuitionism based on Turing degrees SS Basu The Pennsylvania State University, 2013 | 2 | 2013 |
Negation-free definitions of paraconsistency SS Basu, S Roy 10th International Conference on Non-Classical Logics. Theory and …, 2022 | 1 | 2022 |
Generalized explosion principles SS Basu, S Roy arXiv preprint arXiv:2307.15358, 2023 | | 2023 |
Lindenbaum-Type Logical Structures S Roy, SS Basu, MK Chakraborty Logica Universalis 17 (1), 69-102, 2023 | | 2023 |
Lindenbaum-type Logical Structures: Introduction and Characterization S Roy, SS Basu, MK Chakraborty arXiv preprint arXiv:2107.10768, 2021 | | 2021 |