Free ordered algebraic structures towards proof theory

DOI10.2307/2695031zbMATH Open0989.03073OpenAlexW2169790819MaRDI QIDQ2747705FDOQ2747705

Andreja Prijatelj

Publication date: 22 July 2002

Published in: The 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) Ordered rings, algebras, modules (06F25) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Other algebras related to logic (03G25)

Cites Work

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

Cited In (4)

• AN AXIOMATIC APPROACH TO FREE AMALGAMATION
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• Title not available (Why is that?)
• From Proof Nets to the Free *-Autonomous Category

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747705)