3 papers
cs.LO2026
How a computer might think
Sankha S. Basu
Inspired by Nuel Belnap's "How a computer should think," which gave rise to the four-valued logic FDE, we contemplate, in this article, how a computer might think if we add a fifth…
math.LO2025
Topological semantics for a non-self-extensional LFI
Esha Jain, Sankha S. Basu
In this article, we have introduced a Logic of Formal Inconsistency (LFI) that we call $\vd$. This logic is non-self-extensional, i.e., the replacement property, or the rule for su…
math.LO2024
Relational Companions of Logics
Sankha S. Basu, Sayantan Roy
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variabl…