Cover Image

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rogozin, Daniel
Format:	Preprint
Published:	2025
Subjects:	Logic Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

A Categorical Treatment of Open Linear Systems
by: Stein, Dario, et al.
Published: (2024)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

What can Topology tell us about Logical Complexity?
by: Kihara, Takayuki, et al.
Published: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

A Simple Categorical Calculus of Interacting Processes
by: Nester, Chad, et al.
Published: (2026)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

Categorical Data Structures for Technical Computing
by: Patterson, Evan, et al.
Published: (2021)

A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
by: Lambert, Michael J.
Published: (2024)

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

Condensed Sets and the Solovay Model
by: Bannister, Nathaniel, et al.
Published: (2026)

Doctrinal Semantics of Directed First-Order Logic
by: Laretto, Andrea, et al.
Published: (2025)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

Enriching Disentanglement: From Logical Definitions to Quantitative Metrics
by: Zhang, Yivan, et al.
Published: (2023)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines
by: Dagnino, Francesco, et al.
Published: (2021)

Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2025)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
by: Fritz, Tobias, et al.
Published: (2025)

The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
by: Chen, Leihao, et al.
Published: (2024)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Categorical Foundations of Formalized Condensed Mathematics
by: Asgeirsson, Dagur, et al.
Published: (2024)

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
by: Reizi, Higuchi Joaquim
Published: (2025)

A constructive approach to the double-categorical small object argument
by: Berg, Benno van den, et al.
Published: (2025)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

De Morgan's law in toposes I
by: Caramello, Olivia, et al.
Published: (2025)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
by: Russo, Ciro
Published: (2025)

The category of propositional deductive systems
by: Russo, Ciro
Published: (2025)

Universal categories
by: Schoutens, Hans
Published: (2025)

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
by: Abramsky, Samson, et al.
Published: (2022)

Pure maps are strict monomorphisms
by: Kanalas, Kristóf
Published: (2024)

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

Adding a constant and an axiom to a doctrine
by: Guffanti, Francesca
Published: (2023)