The logic of linear propositions

DOI10.1093/JIGPAL/JZZ006MaRDI QIDQ5865560zbMATH OpenOpenAlexFDO

Authors Seyed Mohammad Bagheri

Publication date 9 June 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzz006

zbMATH Keywords

linear compactnesslinear completeness

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited in

(7)

• Linear logic propositions as session types
• Some Properties of Linear Logic Proved by Semantic Methods
• Linear Logic and Exceptions
• scientific article; zbMATH DE number 1231531 (Why is no real title available?)
• On linear Brouwerian logics
• The dual of a logical linear programme
• Some Syntactical Observations on Linear Logic

This page was built for publication: The logic of linear propositions

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