Imagen de Portada

Algebraic Proof Theory for Infinitary Action Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fussner, Wesley, Santschi, Simon, Miranda, Borja Sierra
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Logic 03F05 (Primary) 03F52, 68Q70 (Secondary) F.3.0
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
por: Nishimuta, Yuki, et al.
Publicado: (2018)

Interpolation in Hájek's Basic Logic
por: Fussner, Wesley, et al.
Publicado: (2024)

Different Theories of Parts
por: Pietruszczak, Andrzej
Publicado: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
por: Cerda, Rémy, et al.
Publicado: (2022)

The Solver's Paradox in Formal Problem Spaces
por: Rosko, Milan
Publicado: (2025)

Interpolation and the Exchange Rule
por: Fussner, Wesley, et al.
Publicado: (2023)

A Logspace Constructive Proof of L=SL
por: Buss, Sam, et al.
Publicado: (2025)

The Fractal Logic of Phi-adic Recursion
por: Rosko, Milan
Publicado: (2025)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
por: Bruse, Florian, et al.
Publicado: (2026)

Normalization properties of $λμ$-calculus using realizability semantics
por: Battyanyi, Peter, et al.
Publicado: (2023)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
por: Anttila, Aleksi, et al.
Publicado: (2025)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)

Proof complexity of universal algebra in a CSP dichotomy proof
por: Gaysin, Azza
Publicado: (2024)

On the Existence and Disjunction Properties in Structural Set Theory
por: Saving, Mark
Publicado: (2023)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

Amalgamation in Semilinear Residuated Lattices
por: Fussner, Wesley, et al.
Publicado: (2024)

Provability in BI's Sequent Calculus is Decidable
por: Gheorghiu, Alexander, et al.
Publicado: (2021)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2020)

Satisfaction classes with approximate disjunctive correctness
por: Enayat, Ali
Publicado: (2023)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
por: Houérou, Quentin Le, et al.
Publicado: (2026)

Adversarial Barrier in Uniform Class Separation
por: Rosko, Milan
Publicado: (2025)

From Gödel incompleteness to the consistency of circuit lower bounds
por: Atserias, Albert, et al.
Publicado: (2026)

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

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

Univalent Material Set Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2023)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
por: Fusco, Ludovico, et al.
Publicado: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
por: Artemov, Sergei
Publicado: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
por: Galatos, Nikolaos, et al.
Publicado: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
por: Wang, Shuwei
Publicado: (2026)

Axiom Beta Implies Elementary Transfinite Recursion
por: Frittaion, Emanuele, et al.
Publicado: (2026)

Arithmetics within the Linear Time Hierarchy
por: Pollett, Chris
Publicado: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
por: Vodrazka, Daniel
Publicado: (2025)

Examples and counterexamples of injective types
por: de Jong, Tom, et al.
Publicado: (2026)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
por: Kołodziejczyk, Leszek Aleksander, et al.
Publicado: (2026)

Affine Hulls and Simplices: a Constructive Analysis
por: Bridges, Douglas S.
Publicado: (2025)

Revisiting Interpolation in Relevant Logics
por: Fussner, Wesley, et al.
Publicado: (2025)

On Separating Wholeness Axioms
por: Jeon, Hanul
Publicado: (2023)

Antichain of ordinals in intuitionistic set theory
por: Wang, Shuwei
Publicado: (2025)

Some notes on plump ordinals
por: Wang, Shuwei
Publicado: (2026)