Imagen de Portada

Completions of Kleene's second model

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Terwijn, Sebastiaan A.
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
por: Pous, Damien, et al.
Publicado: (2022)

Completeness of Finitely Weighted Kleene Algebra With Tests
por: Sedlár, Igor
Publicado: (2024)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
por: Nakamura, Yoshiki
Publicado: (2025)

Nonembeddings of Combinatory Algebras
por: Lutz, Patrick, et al.
Publicado: (2026)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Paraconsistent Relations as a Variant of Kleene Algebras
por: Cunha, Juliana, et al.
Publicado: (2025)

Morita Rigidity for Kleene Algebras
por: Serafin, Luke
Publicado: (2025)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
por: Kappé, Tobias, et al.
Publicado: (2023)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
por: Rooduijn, Jan, et al.
Publicado: (2024)

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

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
por: Nakamura, Yoshiki, et al.
Publicado: (2024)

On the Completeness of Interpolation Algorithms
por: Hetzl, Stefan, et al.
Publicado: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

A linear proof language for second-order intuitionistic linear logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

Complete and Terminating Tableau Calculus for Undirected Graph
por: Nishimura, Yuki, et al.
Publicado: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
por: Ayhan, Sara, et al.
Publicado: (2025)

Complete representation by partial functions for signatures containing antidomain restriction
por: McLean, Brett
Publicado: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

Completeness of Relational Algebra via Cylindric Algebra
por: Laštovička, Jan
Publicado: (2026)

The Relational Quotient Completion
por: Dagnino, Francesco, et al.
Publicado: (2024)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
por: Li, Augustus Haoyang
Publicado: (2026)

An Elementary Proof of the FMP for Kleene Algebra
por: Kappé, Tobias
Publicado: (2022)

Constructive higher sheaf models with applications to synthetic mathematics
por: Coquand, Thierry, et al.
Publicado: (2026)

A concrete model for a typed linear algebraic lambda calculus
por: Díaz-Caro, Alejandro, et al.
Publicado: (2018)

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

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
por: Nishimura, Yuki
Publicado: (2022)

Countability constraints in order-theoretic approaches to computability
por: Hack, Pedro, et al.
Publicado: (2022)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
por: Verscht, Lena, et al.
Publicado: (2024)

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

Paraconsistent Existential Graphs Gamma Peirce System
por: Sierra-Aristizabal, Manuel
Publicado: (2023)

On matrix rank function over bounded arithmetics
por: Ken, Eitetsu, et al.
Publicado: (2023)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
por: Pshenitsyn, Tikhon
Publicado: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Deciding Equations in the Time Warp Algebra
por: van Gool, Sam, et al.
Publicado: (2023)

Cyclic Proofs for iGL via Corecursion
por: Miranda, Borja Sierra
Publicado: (2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
por: Lyon, Tim S., et al.
Publicado: (2023)