Image de couverture de livre

Peano Arithmetic and $μ$MALL

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Manighetti, Matteo, Miller, Dale
Format:	Preprint
Publié:	2023
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
par: Ito, Sohei, et autres
Publié: (2025)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
par: Bryce, Aaron, et autres
Publié: (2026)

Peano Arithmetic, games and descent recursion
par: Frittaion, Emanuele
Publié: (2024)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

Property-Based Testing by Elaborating Proof Outlines
par: Miller, Dale, et autres
Publié: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
par: Kihara, Takayuki
Publié: (2024)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

MCSAT Modulo Transcendental Arithmetics
par: Gallego-Hernández, Jorge, et autres
Publié: (2026)

Towards an Analysis of Proofs in Arithmetic
par: Leitsch, Alexander, et autres
Publié: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
par: Berthé, Valérie, et autres
Publié: (2024)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
par: Jovanovic, Dejan
Publié: (2026)

Satisfiability Modulo Exponential Integer Arithmetic
par: Frohn, Florian, et autres
Publié: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
par: Karimov, Toghrul, et autres
Publié: (2024)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
par: Schmerl, James H.
Publié: (2019)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
par: Lee, Yeonseok, et autres
Publié: (2025)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
par: Hausmann, Daniel, et autres
Publié: (2022)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
par: Su, Wanyun, et autres
Publié: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
par: Hozzová, Petra, et autres
Publié: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
par: Wang, Zhonghan
Publié: (2024)

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
par: Lipparini, Enrico, et autres
Publié: (2023)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
par: Lipparini, Enrico, et autres
Publié: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
par: Hausmann, Daniel, et autres
Publié: (2025)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
par: Stramaglia, Anna, et autres
Publié: (2025)

Tightness and solidity in fragments of Peano Arithmetic
par: Gruza, Piotr, et autres
Publié: (2025)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
par: Habermehl, Peter, et autres
Publié: (2024)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

One-Parametric Presburger Arithmetic has Quantifier Elimination
par: Mansutti, Alessio, et autres
Publié: (2025)

Automating proof search when equality is a logical connective
par: Chaudhuri, Kaustuv, et autres
Publié: (2026)

Complex Algebras of Arithmetic
par: Düntsch, Ivo, et autres
Publié: (2009)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
par: Acclavio, Matteo
Publié: (2023)

Compact Quantitative Theories of Convex Algebras
par: Mio, Matteo
Publié: (2025)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
par: Akshay, S., et autres
Publié: (2026)

Proof Nets for PiL (Full Version)
par: Acclavio, Matteo, et autres
Publié: (2026)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
par: Acclavio, Matteo, et autres
Publié: (2026)

Intuitionistic BV (Extended version)
par: Acclavio, Matteo, et autres
Publié: (2025)