Cover Image

Quantitative Linear Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Capucci, Matteo, Atkey, Robert, Grellois, Charles, Komendantskaya, Ekaterina
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Logic 03F05, 03B47, 03B52, 68T27
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
by: Nishimuta, Yuki, et al.
Published: (2018)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
by: Forster, Jonas, et al.
Published: (2023)

Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory
by: Chen, Yuxu, et al.
Published: (2025)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

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

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

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

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Justification Logics in a Fuzzy Setting
by: Ghari, Meghdad
Published: (2014)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

Modelling Multiplicative Linear Logic via Deep Inference
by: Galor, Tomer, et al.
Published: (2024)

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

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
by: Wild, Paul, et al.
Published: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
by: Forster, Jonas, et al.
Published: (2023)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)