profile picture

Abhishek De

Krea University
 More details
  • Krea University
    Regular Faculty
Université Paris Diderot
PhD, 2022
Tada, AP, India
Areas of Specialization
Substructural Logic
Second-Order Logic
Predicate Logic
Areas of Interest
Substructural Logic
Second-Order Logic
Predicate Logic
  •  6
    Kennis kent geen einde. De beweging van de universiteit
    with V. Achten, P. Annaert, Y. Berbers, P. Bijttebier, C. Bourgeois, R. Bruffaerts, F. Buekens, E. Decaestecker, J. Eggermont, J. Geldhof, E. Henckaerts, K. Hermans, G. Langie, L. Langouche, J. Masschelein, G. Matteoli, J. Meyers, C. Parra, B. Pattyn, F. Rademakers, F. Rega, U. Ryad, V. Soen, G. Storms, S. Vaes, K. Van Acker, T. Van Doorsselaere, W. Van Petegem, S. Van Ruyskensvelde, J. Verbakel, I. Verbauwhede, and M. Verhelst
    LannooCampus. 2025.
  •  25
    A Note on Fixed Points in Łukasiewicz Logic
    Logica Universalis 19 (4). 2025.
    In both mathematical and philosophical logic, one of the most well-known and well-studied non-classical, many-valued logics is Łukasiewicz logic. In this paper, we extend infinite-valued Łukasiewicz logic with fixed-point operators and present a natural axiomatisation. Metalogical results such as soundness and completeness are proved for this logic.
    Logic and Philosophy of Logic