Copertina

Cut elimination for propositional cyclic proof systems with fixed-point operators

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hori, Hiromasa, Nakazawa, Koji, Tatsuta, Makoto
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Logic 03F05, 03F52 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Glivenko's theorems from an ecumenical perspective
di: Pereira, Luiz Carlos, et al.
Pubblicazione: (2026)

Structural focalization
di: Simmons, Robert J.
Pubblicazione: (2011)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
di: Barrett, Victoria, et al.
Pubblicazione: (2025)

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

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

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

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

Y is a least fixed point combinator
di: Helfer, Joseph
Pubblicazione: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

Modelling Multiplicative Linear Logic via Deep Inference
di: Galor, Tomer, et al.
Pubblicazione: (2024)

Linear Orders in Presburger Arithmetic
di: Pakhomov, Fedor, et al.
Pubblicazione: (2022)

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Conjunctive categorial grammars and Lambek grammars with additives
di: Kuznetsov, Stepan L., et al.
Pubblicazione: (2024)

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

Exploring the abyss in Kleene's computability theory
di: Sanders, Sam
Pubblicazione: (2023)

On some computational properties of open sets
di: Normann, Dag, et al.
Pubblicazione: (2024)

Finite Hilbert systems for Weak Kleene logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)

Extracting total Amb programs from proofs
di: Berger, Ulrich, et al.
Pubblicazione: (2023)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)

FMP for QD logics. A wrong proof
di: Gasquet, Olivier
Pubblicazione: (2025)

Logic in Mathematics and Computer Science
di: Zach, Richard
Pubblicazione: (2024)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
di: Forster, Jonas, et al.
Pubblicazione: (2023)

On the computational properties of ambivalent sets and functions
di: Normann, Dag, et al.
Pubblicazione: (2026)

A Theory for Probabilistic Polynomial-Time Reasoning
di: Chen, Lijie, et al.
Pubblicazione: (2026)

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

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

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

Normal forms in cubical type theory
di: Huang, Xu
Pubblicazione: (2026)

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

Local-Order-Invariant Logic on Classes of Bounded Degree
di: Aoki, Derek
Pubblicazione: (2025)

Knowability as continuity: a topological account of informational dependence
di: Baltag, Alexandru, et al.
Pubblicazione: (2024)

Axiomatizing the Logic of Ordinary Discourse
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Belief in Simplicial Complexes
di: Sink, Philip, et al.
Pubblicazione: (2025)

Reasoning Around Paradox with Grounded Deduction
di: Ford, Bryan
Pubblicazione: (2024)