Image de couverture de livre

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nishimuta, Yuki, Okada, Mitsuhiro
Format:	Preprint
Publié:	2018
Sujets:	Logic 03F52, 03F05
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Quantitative Linear Logic
par: Capucci, Matteo, et autres
Publié: (2026)

On the Various Translations between Classical, Intuitionistic and Linear Logic
par: Ferreira, Gilda, et autres
Publié: (2024)

Modelling Multiplicative Linear Logic via Deep Inference
par: Galor, Tomer, et autres
Publié: (2024)

Algebraic Proof Theory for Infinitary Action Logic
par: Fussner, Wesley, et autres
Publié: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

Nested Sequents for Provability Logic GLP
par: Shamkanov, Daniyar
Publié: (2014)

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
par: Nicolai, Carlo, et autres
Publié: (2022)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
par: Anttila, Aleksi, et autres
Publié: (2025)

Metric Double Complements of Convex Sets
par: Bridges, Douglas S.
Publié: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

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

Complexities of Well-Quasi-Ordered Substructural Logics
par: Galatos, Nikolaos, et autres
Publié: (2025)

Reflection ranks via infinitary derivations
par: Walsh, James
Publié: (2021)

Constructive validity of a generalized Kreisel-Putnam rule
par: Pezlar, Ivo
Publié: (2023)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

Cut-free sequent calculi for the provability logic D
par: Kashima, Ryo, et autres
Publié: (2023)

On a Theorem by Bezboruah & Shepherdson
par: Visser, Albert
Publié: (2026)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

Proof Compression via Subatomic Logic and Guarded Substitutions
par: Barrett, Victoria, et autres
Publié: (2025)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
par: Olarte, Carlos, et autres
Publié: (2024)

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, et autres
Publié: (2022)

Interpolation in Hájek's Basic Logic
par: Fussner, Wesley, et autres
Publié: (2024)

The Sup Connective in IMALL: A Categorical Semantics
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Structural focalization
par: Simmons, Robert J.
Publié: (2011)

Tableau Proof Systems for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

Collapsing Constructive and Intuitionistic Modal Logics
par: Pacheco, Leonardo
Publié: (2024)

Affine Hulls and Simplices: a Constructive Analysis
par: Bridges, Douglas S.
Publié: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
par: Kowalik, Katarzyna W.
Publié: (2025)

Undecidability in Relevant Logic
par: Knudstorp, Søren Brinck
Publié: (2026)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
par: Sato, Yuta
Publié: (2025)

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
par: Erdélyi-Szabó, Miklós
Publié: (2024)

The Uniform Functional Interpretation with Informative Types
par: Ferreira, Fernando, et autres
Publié: (2025)

Justification Logics in a Fuzzy Setting
par: Ghari, Meghdad
Publié: (2014)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

The behavior of higher proof theory I: Case $Σ^1_2$
par: Jeon, Hanul
Publié: (2024)