Buchumschlag

Computational expressivity of (circular) proofs with fixed points

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Curzi, Gianluca, Das, Anupam
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cyclic Implicit Complexity
von: Curzi, Gianluca, et al.
Veröffentlicht: (2021)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Cyclic proof theory of positive inductive definitions
von: Curzi, Gianluca, et al.
Veröffentlicht: (2025)

Non-wellfounded parsimonious proofs and non-uniform complexity
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
von: Curzi, Gianluca, et al.
Veröffentlicht: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
von: Acclavio, Matteo, et al.
Veröffentlicht: (2023)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Proof complexity of positive branching programs
von: Das, Anupam, et al.
Veröffentlicht: (2021)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
von: Hori, Hiromasa, et al.
Veröffentlicht: (2023)

Enumerating Independent Linear Inferences
von: Das, Anupam, et al.
Veröffentlicht: (2021)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof
von: Choffrut, Christian
Veröffentlicht: (2024)

Relative fixed points of functors
von: Schoen, Ezra, et al.
Veröffentlicht: (2023)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

A logic of judgmental existence and its relation to proof irrelevance
von: Pezlar, Ivo
Veröffentlicht: (2024)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
von: Bauer, Esaïe, et al.
Veröffentlicht: (2025)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
von: Oda, Yukihiro, et al.
Veröffentlicht: (2021)

On the complexity of normalization for the planar $λ$-calculus
von: Das, Anupam, et al.
Veröffentlicht: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
von: Kozhemiachenko, Daniil
Veröffentlicht: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
von: Oda, Yukihiro, et al.
Veröffentlicht: (2022)

Short proofs without interference
von: Rebola-Pardo, Adrian
Veröffentlicht: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

A concise proof of Commoner's theorem
von: Jancar, Petr
Veröffentlicht: (2024)

On the role of connectivity in Linear Logic proofs
von: Di Donna, Raffaele, et al.
Veröffentlicht: (2025)

Between proof construction and SAT-solving
von: Schubert, Aleksy, et al.
Veröffentlicht: (2024)

Subvarieties of pointed Abelian l-groups
von: Jankovec, Filip
Veröffentlicht: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
von: Asgeirsson, Dagur
Veröffentlicht: (2023)

Dyadic obligations: proofs and countermodels via hypersequents
von: Ciabattoni, Agata, et al.
Veröffentlicht: (2024)

A precise proof of the n-variable Bekic principle
von: Xu, Jun
Veröffentlicht: (2025)