Image de couverture de livre

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Blot, Valentin, Dowek, Gilles, Traversié, Thomas, Winterhalter, Théo
Format:	Preprint
Publié:	2024
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

Proofs for Free in the $λΠ$-Calculus Modulo Theory
par: Traversié, Thomas
Publié: (2024)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
par: Traversié, Thomas
Publié: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
par: Traversié, Thomas, et autres
Publié: (2025)

Kuroda's Translation for Higher-Order Logic
par: Traversié, Thomas
Publié: (2024)

A new introduction rule for disjunction
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
par: Dowek, Gilles, et autres
Publié: (2023)

A linear linear lambda-calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

A Rewriting Theory for Quantum Lambda-Calculus
par: Faggian, Claudia, et autres
Publié: (2024)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

Confluence of Conditional Rewriting Modulo
par: Lucas, Salvador
Publié: (2025)

Rewriting Modulo Traced Comonoid Structure
par: Ghica, Dan R., et autres
Publié: (2023)

A Classical Linear $λ$-Calculus based on Contraposition
par: Barenbaum, Pablo, et autres
Publié: (2026)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
par: Biernacka, Małgorzata, et autres
Publié: (2022)

Reasonable Space for the $λ$-Calculus, Logarithmically
par: Accattoli, Beniamino, et autres
Publié: (2022)

Generalized Optimization Modulo Theories
par: Tsiskaridze, Nestan, et autres
Publié: (2024)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Satisfiability Modulo Theories for Verifying MILP Certificates
par: Wood, Kenan, et autres
Publié: (2023)

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

Timed Strategies for Real-Time Rewrite Theories
par: Olarte, Carlos, et autres
Publié: (2024)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
par: Feng, Nick, et autres
Publié: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
par: Zhuk, Dmitriy
Publié: (2024)

The Lambda Calculus is Quantifiable
par: Maestracci, Valentin, et autres
Publié: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
par: Hanisch, Philipp, et autres
Publié: (2026)

Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
par: Daly, Ross, et autres
Publié: (2024)

Canonical Decision Diagrams Modulo Theories
par: Michelutti, Massimo, et autres
Publié: (2024)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
par: Aoto, Takahito, et autres
Publié: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
par: Faella, Marco, et autres
Publié: (2024)

Drag Rewriting
par: Dershowitz, Nachum, et autres
Publié: (2024)

Left-Linear Completion with AC Axioms
par: Niederhauser, Johannes, et autres
Publié: (2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
par: Kassing, Jan-Christoph, et autres
Publié: (2023)

Rewriting and Inductive Reasoning
par: Hajdu, Márton, et autres
Publié: (2024)

Templates in Rewriting Induction
par: Hagens, Kasper, et autres
Publié: (2026)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
par: Teuber, Samuel, et autres
Publié: (2025)

The Flower Calculus
par: Donato, Pablo
Publié: (2024)