4 papers
Generalized Explosion Principles: A Semantic Perspective
Sankha S. Basu, Sayantan Roy
This article is motivated by the fact that there is a distinction between the descriptions of logical explosion from syntactic and semantic points of view. The discussion is illust…
Diophantine approximation with primes from short intervals
Stephan Baier, Sayantan Roy
In this paper, we establish hybrid results on Diophantine approximation with primes from short intervals. In particular, we prove the following result in a slightly modified form:…
Suszko's Thesis and Many-valued Logical Structures
Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty
In this article, we try to formulate a definition of ''many-valued logical structure''. For this, we embark on a deeper study of Suszko's Thesis () and show that the t…
Abstract Model Structures and Compactness Theorems
Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and v…