No label defined (Q4549486)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1790421
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1790421 |
Statements
12 November 2002
0 references
labelled deductive systems
0 references
modal logic
0 references
substructural logic
0 references
fuzzy logic
0 references
derivability relation
0 references
semantic entailment
0 references
0.7919972538948059
0 references
The authors present a proof-theoretic and semantic approach in which logics belonging to different families can be given common notions of derivability relation and semantic entailment. This approach is built on the LDS methodology and it is called the Compilation approach for Labelled Deductive Systems (CLDS). The following three logics are considered: the modal logic of elsewhere, the multiplicative fragment of substructural linear logic, and Łukasiewicz fuzzy logic. For the above-mentioned logics the special systems called \(E_{\text{CLDS}}\), \(L_{\text{CLDS}}\) and \(F_{\text{CLDS}}\) are defined and the soundness, completeness and correspondence theorems for these systems are proved. For the entire collection see [Zbl 0979.00015].
0 references
