Buchumschlag

Countability constraints in order-theoretic approaches to computability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hack, Pedro, Braun, Daniel A., Gottwald, Sebastian
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic 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

Order-theoretic models for decision-making: Learning, optimization, complexity and computation
von: Hack, Pedro
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

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

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Decidability of MSO Reparameterization over Countable Chains
von: Rabinovich, Alexander
Veröffentlicht: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

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)

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)

Speedability of computably approximable reals and their approximations
von: Barmpalias, George, et al.
Veröffentlicht: (2026)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

The complete classification for quantified equality constraints
von: Zhuk, Dmitriy, et al.
Veröffentlicht: (2021)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
von: Kihara, Takayuki
Veröffentlicht: (2022)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Indivisibility and uniform computational strength
von: Gill, Kenneth
Veröffentlicht: (2023)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

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

A modal approach towards substitutions
von: Tu, Yaxin, 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)

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

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

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Model-theoretic Forcing in Transition Algebra
von: Hashimoto, Go, et al.
Veröffentlicht: (2025)

A set-theoretical approach for ABox reasoning services (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2017)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

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

Terminal Coalgebras in Countably Many Steps
von: Adámek, Jiří, et al.
Veröffentlicht: (2023)

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
von: Su, Youan
Veröffentlicht: (2025)

A proof-theoretical approach to some extensions of first order quantification
von: Allègre, Loïc, et al.
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

An order out of nowhere: a new algorithm for infinite-domain CSPs
von: Mottet, Antoine, et al.
Veröffentlicht: (2023)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)