Cover Image

Substructural fixed-point theorems and the diagonal argument: theme and variations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Roberts, David Michael
Format:	Preprint
Published:	2021
Subjects:	Category Theory Logic in Computer Science Logic 03B47, 18A15 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

Y is a least fixed point combinator
by: Helfer, Joseph
Published: (2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

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

Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)

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

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

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

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

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

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)

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

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)

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

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

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

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

Belief in Simplicial Complexes
by: Sink, Philip, et al.
Published: (2025)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

A Note on Proper Relational Structures
by: Bjorndahl, Adam, et al.
Published: (2025)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)