cs.LO · 2026-05-27 · No. 10

Logic in Computer Science, 2026-05-27.

2 new papers in cs.LO. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

2 entries
  1. 01

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

    Christoph Benzmüller, Daniel Kirchner, Luca Pasetto

    cs.LO · cs.AI · math.LO

    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 pluralism at object-logic level within a unifying meta-logical framework such as LogiKEy,...

    arxiv.org/abs/2605.27246 · PDF

  2. 02

    ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning

    Adnan Rashid

    cs.LO · cs.AI

    Large Language Models (LLMs) have transformed artificial intelligence from primarily generative systems into increasingly capable reasoning agents. Recent advances in theorem proving, autoformalization, symbolic reasoning, and tool-augmented language models demonstrate substantial progress toward machine-assisted formal reasoning. However, current reasoning systems still suffer from hidden logical inconsistencies, hallucinated symbolic...

    arxiv.org/abs/2605.27014 · PDF

This edition is part of The Daily Abstract — cs.LO archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.