Free algebras corresponding to multiplicative classical linear logic and some of its extensions
From MaRDI portal
(Redirected from Publication:1924328)
Recommendations
- Free ordered algebraic structures towards proof theory
- From multiple sequent for additive linear logic to decision procedures for free lattices
- Connectification for n-contraction
- Some Properties of Linear Logic Proved by Semantic Methods
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
Cites work
- scientific article; zbMATH DE number 591901 (Why is no real title available?)
- scientific article; zbMATH DE number 1489627 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
- Computations in fragments of intuitionistic propositional logic
- Connectification for n-contraction
- Constructivism in mathematics. An introduction. Volume I
- Extending intuitionistic linear logic with knotted structural rules
- Linear logic
- Sentential constants in systems near R
Cited in
(3)
This page was built for publication: Free algebras corresponding to multiplicative classical linear logic and some of its extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924328)