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

DOI10.1305/NDJFL/1040067316zbMATH Open0862.03042OpenAlexW2116032385MaRDI QIDQ1924328FDOQ1924328

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

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

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)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Title not available (Why is that?)
• Extending intuitionistic linear logic with knotted structural rules
• Connectification for \(n\)-contraction
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
• Computations in fragments of intuitionistic propositional 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)