On linear Brouwerian logics

DOI10.1002/MALQ.201200075MaRDI QIDQ2922494zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(7)

• scientific article; zbMATH DE number 3887658 (Why is no real title available?)
• Some Syntactical Observations on Linear Logic
• scientific article; zbMATH DE number 1303456 (Why is no real title available?)
• Some Properties of Linear Logic Proved by Semantic Methods
• On Köthe sequence spaces and linear logic
• Normal modal logics determined by aligned clusters
• Boulesic-Doxastic 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)