27 citations · 49 across the 15 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.FA2023
Application of a generalization of Darbos fixed point theorem on an integral equation involving the weighted fractional integral with respect to another function
Sudip Deb, Anupam Das
In this study , we display a generalization of Darbos fixed point theorem , by using the use of a freshly made contraction operator and that we use to study the solvability of an i…
math.LO2023
Cyclic proofs for arithmetical inductive definitions
Anupam Das, Lukas Melgaard
We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of ce…
cs.LO2023
Computational expressivity of (circular) proofs with fixed points
Gianluca Curzi, Anupam Das
We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) t…