Free algebras corresponding to multiplicative classical linear logic and some of its extensions

DOI10.1305/NDJFL/1040067316MaRDI QIDQ1924328zbMATH OpenOpenAlexFDO

Authors Andreja Prijatelj

Publication date 25 May 1997

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040067316

zbMATH Keywords

free algebrascardinality problemextensions with \(n\)-contractionmultiplicative classical linear logicone-variable linear fragments

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25)

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)

• Free ordered algebraic structures towards proof theory
• Connectification for n-contraction
• Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics

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)