Imagen de Portada

From categorized neural architectures to subexponential proof theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Ovalle, Carlos Ramírez
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science 03F52, 18C50, 18M15, 68T07 F.4.1; F.3.2; I.2.6
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation
por: Kilictas, Bugra, et al.
Publicado: (2025)

Alpay Algebra IV: Symbiotic Semantics and the Fixed-Point Convergence of Observer Embeddings
por: Kilictas, Bugra, et al.
Publicado: (2025)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
por: Martinez-Rivillas, Daniel O., et al.
Publicado: (2026)

Unraveling the iterative CHAD
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2025)

Uniform Computability of PAC Learning
por: Brattka, Vasco, et al.
Publicado: (2026)

Internalizing Tools as Morphisms in Graded Transformers
por: Shaska, Tony
Publicado: (2025)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
por: Alpay, Faruk, et al.
Publicado: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
por: Grotenhuis, Lide, et al.
Publicado: (2026)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
por: Abzianidze, Lasha
Publicado: (2023)

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

On an ordinary expansion of first-order Belnap-Dunn logic
por: Middelburg, C. A.
Publicado: (2023)

A vector logic for extensional formal semantics
por: Quigley, Daniel
Publicado: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Lambek pregroups are Frobenius spiders in preorders
por: Pavlovic, Dusko
Publicado: (2021)

Remarks on Primitive Regulation
por: Rosko, Milan
Publicado: (2026)

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
por: Linhares, Alexandre
Publicado: (2026)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
por: Kilictas, Bugra, et al.
Publicado: (2025)

Categorical Invariants of Learning Dynamics
por: Tamim, Abdulrahman
Publicado: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

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

Continuous and algebraic domains in univalent foundations
por: de Jong, Tom, et al.
Publicado: (2024)

Internal Effectful Forcing in System T
por: Escardo, Martin H., et al.
Publicado: (2025)

Learning to Repair Lean Proofs from Compiler Feedback
por: Wang, Evan, et al.
Publicado: (2026)

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

A foundational characterization of Hoare Logic
por: Leivant, Daniel
Publicado: (2026)

A proof complexity conjecture and the Incompleteness theorem
por: Krajicek, Jan
Publicado: (2023)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
por: Ramos, Arthur, et al.
Publicado: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por: Santo, José Espírito, et al.
Publicado: (2020)

Budget-Sensitive Discovery Scoring: A Formally Verified Framework for Evaluating AI-Guided Scientific Selection
por: Basu, Abhinaba, et al.
Publicado: (2026)

From Copying to Corelations via Ancestry Partitions
por: Santacana, Andreu Ballus
Publicado: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
por: Alpay, Faruk
Publicado: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
por: Artemov, Sergei
Publicado: (2024)

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
por: Artemov, Sergei
Publicado: (2025)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
por: Alpay, Faruk
Publicado: (2025)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
por: Kilictas, Bugra, et al.
Publicado: (2025)