Free ordered algebraic structures towards proof theory

DOI10.2307/2695031MaRDI QIDQ2747705zbMATH OpenOpenAlexFDO

Authors 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

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

Mathematics Subject Classification ID

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

Recommendations

• Free algebras corresponding to multiplicative classical linear logic and some of its extensions
• Ordering protoalgebraic logics
• scientific article; zbMATH DE number 4012583
• scientific article; zbMATH DE number 194904
• scientific article; zbMATH DE number 5772813

Cites work

• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
• Connectification for n-contraction
• Extending intuitionistic linear logic with knotted structural rules
• Free algebras corresponding to multiplicative classical linear logic and some of its extensions
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 758787 (Why is no real title available?)
• Linear logic

Cited in

(7)

• Proof theory and ordered groups
• Free algebras corresponding to multiplicative classical linear logic and some of its extensions
• scientific article; zbMATH DE number 3922007 (Why is no real title available?)
• scientific article; zbMATH DE number 832104 (Why is no real title available?)
• AN AXIOMATIC APPROACH TO FREE AMALGAMATION
• From Proof Nets to the Free *-Autonomous Category
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.

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)