Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Pretopologies and a uniform presentation of sup-lattices, quantales and frames / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3781066 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4026931 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pretopologies and completeness proofs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive domain theory as a branch of intuitionistic pointfree topology / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01053246 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072934838 / rank | |||
Normal rank |
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