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

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) arXiv:2605.27246v1 Announce Type: cross Abstract: 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 a range of logic embeddings in HOL and inspired the LogiKEy logic-pluralistic knowledge representation and reasoning methodology. This paper advances the case for logical plu