On linear Brouwerian logics

DOI10.1002/MALQ.201200075zbMATH Open1341.03030OpenAlexW1564305979MaRDI QIDQ2922494FDOQ2922494

Authors: Zofia Kostrzycka 

Publication date: 10 October 2014

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201200075

Recommendations

• Bounded Linear Logic, Revisited
• Bounded linear logic, revisited
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 1292302
• Linear Abadi and Plotkin Logic
• On the linear Lindenbaum algebra of Basic Propositional Logic
• Around classical and intuitionistic linear logics
• Linear logic, coherence and dinaturality
• Intuitionistic logical connectives on linear structures
• The logic of linear propositions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• That All Normal Extensions of S4.3 Have the Finite Model Property
• The extensions of \(BAlt_3\)
• The extensions of \(BAlt_3\) - revisited
• On non-compact logics in NEXT(KTB)
• On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
• Kripke incomplete logics containing KTB
• The Logics Containing S 4.3

Cited In (7)

• Some Properties of Linear Logic Proved by Semantic Methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some Syntactical Observations on Linear Logic
• Normal modal logics determined by aligned clusters
• Boulesic-Doxastic Logic
• On Köthe sequence spaces and linear logic

This page was built for publication: On linear Brouwerian logics

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