Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609): Difference between revisions
From MaRDI portal
Latest revision as of 09:22, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics |
scientific article |
Statements
Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (English)
0 references
10 November 1994
0 references
A semantic study of a family of modal intuitionistic linear systems is presented. Various logics are provided with both an algebraic and a relational semantics to obtain completeness results. A modal operator \(\square\) satisfies only one rule and the exponential ``of course'' of linear logic is defined by a subset \(\mathcal W\) of a list of axioms. An algebraic semantics is defined by interpreting the modality \(\square\) as an operation \(\mu\) on an IL-algebra. A relational semantics is based on pretopologies with an additional binary relation \(r\) between information states. The interpretation of \(\square\) differs from the traditional one in classical modal logic. It is proved that such models provide a complete semantics for the minimal modal system, as well as, by requiring suitable conditions on \(r\), for any of its extensions axiomatized by any subset \(\mathcal W\). An embedding theorem for modal IL-algebras into complete ones is proved. A duality between the introduced general frames and modal IL-algebras is obtained.
0 references
relational semantics
0 references
linear logic
0 references
algebraic semantics
0 references
IL-algebra
0 references
modal logic
0 references