Buchumschlag

Continuations and Completeness in Proof-theoretic Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gu, Tao, Pym, David, Ritter, Eike, Robinson, Edmund
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic Logic in Computer Science 03F07 (Primary) 03B20, 03B38, 18F10 (Secondary) F.4.1; F.3.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
von: Wang, Shuai
Veröffentlicht: (2024)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

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

Internal Effectful Forcing in System T
von: Escardo, Martin H., et al.
Veröffentlicht: (2025)

Proof-theoretic methods in quantifier-free definability
von: Kocsis, Zoltan A.
Veröffentlicht: (2023)

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

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
von: Walsh, Sean
Veröffentlicht: (2024)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

Loops, Inverse Limits and Non-Determinism
von: Brattka, Vasco
Veröffentlicht: (2025)

On the Various Translations between Classical, Intuitionistic and Linear Logic
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Meaning as Use, Application, Employment, Purpose, Usefulness
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

From the Notebooks to the Investigations and Beyond
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

Examples and counterexamples of injective types
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

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

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2026)

Consistency formula is strictly stronger in PA than PA-consistency
von: Artemov, Sergei
Veröffentlicht: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
von: Miwa, Tadayoshi, et al.
Veröffentlicht: (2026)

A simplified lower bound for implicational logic
von: Jeřábek, Emil
Veröffentlicht: (2023)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
von: Contente, Michele, et al.
Veröffentlicht: (2022)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

2-Coherent Internal Models of Homotopical Type Theory
von: Chen, Joshua
Veröffentlicht: (2025)

Proof-theoretic dilator and intermediate pointclasses
von: Jeon, Hanul
Veröffentlicht: (2025)

A Coherence Construction for the Propositional Universe
von: Huang, Xu
Veröffentlicht: (2024)

Proof complexity of universal algebra in a CSP dichotomy proof
von: Gaysin, Azza
Veröffentlicht: (2024)

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

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
von: Galliani, Pietro
Veröffentlicht: (2025)

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

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

Hierarchical formula classes with respect to semi-classical prenex normalization
von: Fujiwara, Makoto, et al.
Veröffentlicht: (2025)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)