Imagen de Portada

Admissibility of Substitution Rule in Cyclic-Proof Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Saotome, Kenji, Nakazawa, Koji
Formato:	Preprint
Publicado:	2025
Materias:	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

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

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
por: Lee, Yeonseok, et al.
Publicado: (2025)

Relative Completeness of Incorrectness Separation Logic
por: Lee, Yeonseok, et al.
Publicado: (2025)

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

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Sound and Complete Proof Rules for Probabilistic Termination
por: Majumdar, Rupak, et al.
Publicado: (2024)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2024)

Cyclic Proofs in Hoare Logic and its Reverse
por: Brotherston, James, et al.
Publicado: (2025)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)

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

Foundations for an Abstract Proof Theory in the Context of Horn Rules
por: Lyon, Tim S., et al.
Publicado: (2023)

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

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

On Proof Systems for #QBF
por: Chede, Sravanthi, et al.
Publicado: (2026)

Unravelling Cyclic First-Order Arithmetic
por: Leigh, Graham E., et al.
Publicado: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
por: Hori, Hiromasa, et al.
Publicado: (2023)

Symmetric Proofs in the Ideal Proof System
por: Dawar, Anuj, et al.
Publicado: (2025)

The Proof Analysis Problem
por: Arteche, Noel, et al.
Publicado: (2025)

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

Pebble Games and Algebraic Proof Systems
por: Jaser, Lisa-Marie, et al.
Publicado: (2025)

LISA -- A Modern Proof System
por: Guilloud, Simon, et al.
Publicado: (2025)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

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

Proof Complexity of Linear Logics
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
por: Ayhan, Sara, et al.
Publicado: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
por: Iemhoff, Rosalie, et al.
Publicado: (2023)

Proof complexity of positive branching programs
por: Das, Anupam, et al.
Publicado: (2021)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Towards a Proof System for Probabilistic Dynamic Logic
por: Johnsen, Einar Broch, et al.
Publicado: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
por: Borgwardt, Stefan, et al.
Publicado: (2024)

New Bounds for the Ideal Proof System in Positive Characteristic
por: Behera, Amik Raj, et al.
Publicado: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
por: Grotenhuis, Lide, et al.
Publicado: (2026)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
por: Acclavio, Matteo
Publicado: (2023)

An Introduction to Categorical Proof Theory
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)