Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
Christoph Benzmüller, Daniel Kirchner, Luca Pasetto
- Published
- May 26, 2026 — 16:25 UTC
By Callan Zhang · May 26, 2026 · Editorial standards →
Summarised from the primary source with AI assistance under human editorial oversight. Turing Wire is not a primary source — read the original for the authoritative account.
Source: arXiv cs.AI