scientific article; zbMATH DE number 1790421
derivability relationfuzzy logiclabelled deductive systemsmodal logicsemantic entailmentsubstructural logic
Abstract deductive systems (03B22) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
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].
- Compiled labelled deductive systems for access control
- Belief revision in non-classical logics
- scientific article; zbMATH DE number 516987 (Why is no real title available?)
- scientific article; zbMATH DE number 753774 (Why is no real title available?)
- scientific article; zbMATH DE number 2101986 (Why is no real title available?)
- scientific article; zbMATH DE number 1421202 (Why is no real title available?)
- Graded tableaux for Rational Pavelka Logic
- Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence
- Fuzzy \(rr\)DFCSP and planning
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4549486)
