Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)

Christoph Benzmüller, Daniel Kirchner, Luca Pasetto

This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into…