Imagen de Portada

Unravelling Cyclic First-Order Arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Leigh, Graham E., Wehr, Dominik
Formato:	Preprint
Publicado:	2025
Materias:	Logic Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
por: Leigh, Graham E., et al.
Publicado: (2023)

Demystifying $μ$
por: Afshari, Bahareh, et al.
Publicado: (2024)

Cyclic Implicit Complexity
por: Curzi, Gianluca, et al.
Publicado: (2021)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
por: Kihara, Takayuki
Publicado: (2024)

On proving consistency of equational theories in Bounded Arithmetic
por: Beckmann, Arnold, et al.
Publicado: (2022)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
por: Curzi, Gianluca, et al.
Publicado: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

Cyclic Proofs for iGL via Corecursion
por: Miranda, Borja Sierra
Publicado: (2023)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
por: Afshari, Bahareh, et al.
Publicado: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
por: Lipparini, Enrico, et al.
Publicado: (2025)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
por: Abraham, Uri, et al.
Publicado: (2023)

First-order Logic with Being a Thesis Modal Operator
por: Łyczak, Marcin
Publicado: (2024)

Interpolation in First-Order Logic
por: Cate, Balder ten, et al.
Publicado: (2025)

Distributed First Order Logic
por: Ghidini, Chiara, et al.
Publicado: (2015)

Monadic Second-Order Logic of Permutations
por: Jelínek, Vít, et al.
Publicado: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
por: Barloy, Corentin, et al.
Publicado: (2025)

Interpolation with Automated First-Order Reasoning
por: Wernhard, Christoph
Publicado: (2025)

Syntactic Effectful Realizability in Higher-Order Logic
por: Cohen, Liron, et al.
Publicado: (2025)

SAT Solving for Variants of First-Order Subsumption
por: Coutelier, Robin, et al.
Publicado: (2024)

Craig Interpolation for Decidable First-Order Fragments
por: Cate, Balder ten, et al.
Publicado: (2023)

On the Satisfiability of Local First-Order Logics with Data
por: Bollig, Benedikt, et al.
Publicado: (2023)

Checking Satisfiability of Hyperproperties using First-Order Logic
por: Beutner, Raven, et al.
Publicado: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
por: Winkler, Sarah
Publicado: (2025)

Fusions of One-Variable First-Order Modal Logics
por: Kontchakov, Roman, et al.
Publicado: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
por: Meng, Qiaolan, et al.
Publicado: (2026)

Towards an Analysis of Proofs in Arithmetic
por: Leitsch, Alexander, et al.
Publicado: (2025)

MCSAT Modulo Transcendental Arithmetics
por: Gallego-Hernández, Jorge, et al.
Publicado: (2026)

Peano Arithmetic and $μ$MALL
por: Manighetti, Matteo, et al.
Publicado: (2023)

Comodule Representations of Second-Order Functionals
por: Ahman, Danel, et al.
Publicado: (2024)

A Two-Watched Literal Scheme for First-Order Logic
por: Briefs, Yasmine, et al.
Publicado: (2026)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
por: Vehlken, Fabian, et al.
Publicado: (2026)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
por: Kurucz, Agi, et al.
Publicado: (2023)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
por: Frenkel, Eden, et al.
Publicado: (2024)

On the Decidability of Monadic Theories of Arithmetic Predicates
por: Berthé, Valérie, et al.
Publicado: (2024)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
por: Jovanovic, Dejan
Publicado: (2026)