MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION

DOI10.1017/S1755020319000030zbMath1443.03014OpenAlexW2913802826WikidataQ128374567 ScholiaQ128374567MaRDI QIDQ5216977

Zach Weber, Patrick R. Girard

Publication date: 20 February 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000030

zbMATH Keywords

modal logicsubstructural logicnon-classical logiccontraction-free logicdefinability theoryclassical recapture

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Paraconsistent metatheory: new proofs with old tools ⋮ Unnamed Item ⋮ Observations on the trivial world

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• The semantics of \(R4\)
• Light linear logic
• The logic of information structures
• The undecidability of Grišin's set theory
• \(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA
• Logic without contraction as based on inclusion and unrestricted abstraction
• Kripke semantics for modal substructural logics
• Light affine set theory: A naive set theory of polynomial time
• Observations on the trivial world
• Kripke models for linear logic
• Toward useful type-free theories. I
• Logics without the contraction rule
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS

This page was built for publication: MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION