-
15Lindenbaum-Type Logical StructuresLogica Universalis 17 (1): 69-102. 2023.In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures, viz., the four Lindenbaum-types and the Tarski-type have been established via examples. Finally, we study the logical structures that are of both Tars…Read more
-
12Restricted Rules of Inference and ParaconsistencyLogic Journal of the IGPL 30 (3): 534-560. 2022.In this paper, we study two companions of a logic, viz., the left variable inclusion companion and the restricted rules companion, their nature and interrelations, especially in connection with paraconsistency. A sufficient condition for the two companions to coincide has also been proved. Two new logical systems—intuitionistic paraconsistent weak Kleene logic (IPWK) and paraconsistent pre-rough logic (PPRL)—are presented here as examples of logics of left variable inclusion. IPWK is the left va…Read more
Sankha S. Basu
Indraprastha Institute of Information Technology - Delhi (IIIT-Delhi)
-
Indraprastha Institute of Information Technology - Delhi (IIIT-Delhi)Assistant Professor
Areas of Specialization
Nonclassical Logics |
Paraconsistent Logic |
Intuitionistic Logic |
Higher-Order Logic |
Computability |