Cover Image

A tree rewriting system for the Reflection Calculus

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Santiago-Fernández, Sofía, Joosten, Joost J., Fernández-Duque, David
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
by: Joosten, Joost J., et al.
Published: (2026)

The Provably Total Set-Recursive Functions of KPl
by: Aguilera, Juan Pablo, et al.
Published: (2025)

Feferman Interpretability
by: Joosten, Joost J., et al.
Published: (2024)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

A walk with Goodstein
by: Fernández-Duque, David, et al.
Published: (2020)

Simulating dynamic systems using Linear Time Calculus theories
by: Bogaerts, Bart, et al.
Published: (2014)

The fractal Goodstein principle
by: Fernández-Duque, David, et al.
Published: (2025)

The Baire closure and its logic
by: Bezhanishvili, Guram, et al.
Published: (2021)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
by: Fernández-Duque, David, et al.
Published: (2022)

Ultrafilter Extensions for Veltman Semantics
by: Gonzalez, Felix Frigola, et al.
Published: (2026)

The Ouroboros Goodstein Principle
by: Fernández-Duque, David, et al.
Published: (2026)

Adhesive category theory for graph rewriting in Rocq
by: Arsac, Samuel, et al.
Published: (2025)

Polytopological Semantics for Intuitionistic Modal Logics
by: Aguilera, Juan P., et al.
Published: (2026)

Common Knowledge Always, Forever
by: Diéguez, Martín, et al.
Published: (2026)

Hypergraph rewriting and Causal structure of $λ-$calculus
by: Bajaj, Utkarsh
Published: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Propositional Calculus with Multiple Negations
by: Ramírez, Oscar
Published: (2024)

Model checking strategy-controlled systems in rewriting logic
by: Rubio, Rubén, et al.
Published: (2024)

The Flower Calculus
by: Donato, Pablo
Published: (2024)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
by: Arias, Jaime, et al.
Published: (2024)

Constructive S4 modal logics with the finite birelational frame property
by: Balbiani, Philippe, et al.
Published: (2024)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
by: Becker, Justus
Published: (2025)

The Tensor-Plus Calculus
by: Chardonnet, Kostia, et al.
Published: (2025)

Epsilon Calculus Provides Shorter Cut-Free Proofs
by: Baaz, Matthias, et al.
Published: (2024)

PBNF-transform as a formulation of Propositional Calculus, I
by: Borgeke, Pelle Brooke
Published: (2026)

PBNF-transform as a formulation of Propositional Calculus, II
by: Borgeke, Pelle Brooke
Published: (2026)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
by: Kevin Fathi
Published: (2025)

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
by: Wei, Jin
Published: (2024)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
by: Cerna, David M., et al.
Published: (2022)

Efficient Evaluation of Arbitrary Relational Calculus Queries
by: Raszyk, Martin, et al.
Published: (2022)

Admissibility of the Structural Rules in the Sequent Calculus with Equality
by: Parlamento, Franco, et al.
Published: (2024)

A Rewriting Theory for Quantum Lambda-Calculus
by: Faggian, Claudia, et al.
Published: (2024)

A Sequent Calculus For Trace Formula Implication
by: Heidler, Niklas, et al.
Published: (2025)

Infinite trees
by: Goy, Alexandre
Published: (2025)

Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022)

Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)