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

DOI10.1305/ndjfl/1040067316zbMath0862.03042OpenAlexW2116032385MaRDI QIDQ1924328

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

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

Related Items

Free ordered algebraic structures towards proof theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Computations in fragments of intuitionistic propositional logic
• Constructivism in mathematics. An introduction. Volume I
• Sentential constants in systems near R
• Extending intuitionistic linear logic with knotted structural rules
• Connectification for \(n\)-contraction
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics