Buchumschlag

The Sup Connective in IMALL: A Categorical Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Díaz-Caro, Alejandro, Malherbe, Octavio
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science Category Theory Logic 18M45 03F52 03B70
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
von: Schellhorn, Daniel Romero, et al.
Veröffentlicht: (2026)

Domains and Classifying Topoi
von: Sterling, Jonathan, et al.
Veröffentlicht: (2025)

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

Arrow algebras
von: Berg, Benno van den, et al.
Veröffentlicht: (2023)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
von: Otten, Daniël, et al.
Veröffentlicht: (2025)

Lewis and Brouwer meet Strong Löb
von: Visser, Albert, et al.
Veröffentlicht: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
von: Gallardo, Andrés, et al.
Veröffentlicht: (2024)

A 2-categorical analysis of context comprehension
von: Coraglia, Greta, et al.
Veröffentlicht: (2024)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Projective Presentations of Lex Modalities
von: Williams, Mark Damuni
Veröffentlicht: (2025)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

Collapsing Constructive and Intuitionistic Modal Logics
von: Pacheco, Leonardo
Veröffentlicht: (2024)

Substructural fixed-point theorems and the diagonal argument: theme and variations
von: Roberts, David Michael
Veröffentlicht: (2021)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Logics of polyhedral reachability
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

A $j$-translation with Kripke forcing relation
von: Nakata, Satoshi
Veröffentlicht: (2026)

NSOP$_1$-like independence in AECats
von: Kamsma, Mark
Veröffentlicht: (2021)

Towards a logic of affordances
von: Gruszczynski, Rafal, et al.
Veröffentlicht: (2025)

Categorical structure in coherent theory of arithmetic
von: Ye, Lingyuan
Veröffentlicht: (2023)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Pointfree topology and constructive mathematics
von: Manuell, Graham
Veröffentlicht: (2023)

The free bifibration on a functor
von: Clarke, Bryce, et al.
Veröffentlicht: (2025)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Quantitative Linear Logic
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)

Nested Sequents for Provability Logic GLP
von: Shamkanov, Daniyar
Veröffentlicht: (2014)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
von: Fusco, Ludovico, et al.
Veröffentlicht: (2025)

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

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Game semantics for the constructive $μ$-calculus
von: Pacheco, Leonardo
Veröffentlicht: (2023)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)