Free ordered algebraic structures towards proof theory

DOI10.2307/2695031zbMath0989.03073OpenAlexW2169790819MaRDI QIDQ2747705

Andreja Prijatelj

Publication date: 22 July 2002

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

Full work available at URL: https://doi.org/10.2307/2695031

zbMATH Keywords

multiplicative fragment of linear logicone-variable fragments\(n\)-contractionaffine propositional classical logicfree ordered algebras

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Ordered rings, algebras, modules (06F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Extending intuitionistic linear logic with knotted structural rules
• Connectification for \(n\)-contraction
• Free algebras corresponding to multiplicative classical linear logic and some of its extensions
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics

This page was built for publication: Free ordered algebraic structures towards proof theory