-
First (calibration) experiment using proton beam from FRENA at SINP
Authors:
C. Basu,
K. Banerjee,
T. K. Ghosh,
G. Mukherjee,
C. Bhattacharya,
Shraddha S Desai,
R. Shil,
A. K. Saha,
J. K. Meena,
T. Bar,
D. Basak,
L. K. Sahoo,
S. Saha,
C. Marick,
D. Das,
D. Das,
D. Das,
M. Kujur,
S. Roy,
S. S. Basu,
U. Gond,
A. Saha,
A. Das,
M. Samanta,
P. Saha
, et al. (1 additional authors not shown)
Abstract:
This work presents the first calibration experiment of a 3 MV Tandetron accelerator, FRENA, performed in May 2022. The $^7$Li(p,n) reaction threshold was measured to calibrate the terminal voltage measuring device. A LiF target of thickness 175 $μ$g/cm$^2$ was used in the experiment. The measured threshold was 1872$\pm$2.7 keV, indicating 6$-$10 keV energy shift.
This work presents the first calibration experiment of a 3 MV Tandetron accelerator, FRENA, performed in May 2022. The $^7$Li(p,n) reaction threshold was measured to calibrate the terminal voltage measuring device. A LiF target of thickness 175 $μ$g/cm$^2$ was used in the experiment. The measured threshold was 1872$\pm$2.7 keV, indicating 6$-$10 keV energy shift.
△ Less
Submitted 24 January, 2024;
originally announced February 2024.
-
Generalized explosion principles
Authors:
Sankha S. Basu,
Sayantan Roy
Abstract:
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 or connectives, among which the negation operator is the most frequent and primary. In this article, we start by asking whether a negation operator is essential for describing explosion and paraconsistency. In other words…
▽ More
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 or connectives, among which the negation operator is the most frequent and primary. In this article, we start by asking whether a negation operator is essential for describing explosion and paraconsistency. In other words, is it possible to describe a principle of explosion and hence a notion of paraconsistency that is independent of connectives? A negation-free paraconsistency resulting from the failure of a generalized principle of explosion is presented first. We also derive a notion of quasi-negation from this and investigate its properties. Next, more general principles of explosion are considered. These are also negation-free; moreover, these principles gradually move away from the idea that an explosion requires a statement and its opposite. Thus, these principles can capture the explosion observed in logics where a statement and its negation explode only in the presence of additional information, such as in the logics of formal inconsistency.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Negation-Free Definitions of Paraconsistency
Authors:
Sankha S. Basu,
Sayantan Roy
Abstract:
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 or connectives, among which the negation operator is the most frequent. In this article, we ask whether a negation operator is essential for describing paraconsistency. In other words, is it possible to describe a notion…
▽ More
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 or connectives, among which the negation operator is the most frequent. In this article, we ask whether a negation operator is essential for describing paraconsistency. In other words, is it possible to describe a notion of paraconsistency that is independent of connectives? We present two such notions of negation-free paraconsistency, one that is completely independent of connectives and another that uses a conjunction-like binary connective that we call 'fusion'. We also derive a notion of 'quasi-negation' from the former, and investigate its properties.
△ Less
Submitted 13 April, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Lindenbaum-type Logical Structures
Authors:
Sayantan Roy,
Sankha S. Basu,
Mihir K. Chakraborty
Abstract:
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-typ…
▽ More
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 Tarski- and a Lindenbaum-type, show their separations, and end with characterization, adequacy, minimality, and representation theorems for one of the Tarski-Lindenbaum-type logical structures.
△ Less
Submitted 4 September, 2022; v1 submitted 22 July, 2021;
originally announced July 2021.
-
Restricted Rules of Inference and Paraconsistency
Authors:
Sankha S. Basu,
Mihir K. Chakraborty
Abstract:
In this paper, we study two companions to 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…
▽ More
In this paper, we study two companions to 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 variable inclusion companion of Intuitionistic Propositional logic (IPC) and is also the restricted rules companion of it. PPRL, on the other hand, is the left variable inclusion companion of Pre-Rough logic (PRL) but differs from the restricted rules companion of it. We have discussed algebraic semantics for these logics in terms of Płonka sums. This amounts to introducing a contaminating truth value, intended to denote a state of indeterminacy.
△ Less
Submitted 13 July, 2021; v1 submitted 4 January, 2020;
originally announced January 2020.
-
Mass problems and intuitionistic higher-order logic
Authors:
Sankha S. Basu,
Stephen G. Simpson
Abstract:
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 sets over the topological space consisting of the Turing degrees, where the Turing cones form a base for the topology. We note that our Muchnik topos interpretation of intuitionistic mathematics is an extension of the wel…
▽ More
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 sets over the topological space consisting of the Turing degrees, where the Turing cones form a base for the topology. We note that our Muchnik topos interpretation of intuitionistic mathematics is an extension of the well known Kolmogorov/Muchnik interpretation of intuitionistic propositional calculus via Muchnik degrees, i.e., mass problems under weak reducibility. We introduce a new sheaf representation of the intuitionistic real numbers, \emph{the Muchnik reals}, which are different from the Cauchy reals and the Dedekind reals. Within the Muchnik topos we obtain a \emph{choice principle} $(\forall x\,\exists y\,A(x,y))\Rightarrow\exists w\,\forall x\,A(x,wx)$ and a \emph{bounding principle} $(\forall x\,\exists y\,A(x,y))\Rightarrow\exists z\,\forall x\,\exists y\,(y\le_{\mathrm{T}}(x,z)\land A(x,y))$ where $x,y,z$ range over Muchnik reals, $w$ ranges over functions from Muchnik reals to Muchnik reals, and $A(x,y)$ is a formula not containing $w$ or $z$. For the convenience of the reader, we explain all of the essential background material on intuitionism, sheaf theory, intuitionistic higher-order logic, Turing degrees, mass problems, Muchnik degrees, and Kolmogorov's calculus of problems. We also provide an English translation of Muchnik's 1963 paper on Muchnik degrees.
△ Less
Submitted 12 August, 2014;
originally announced August 2014.