scientific article; zbMATH DE number 1790421
zbMATH Open1012.03013MaRDI QIDQ4549486FDOQ4549486
Authors: Alessandra Russo, Krysia Broda, Dov Gabbay
Publication date: 12 November 2002
Title of this publication is not available (Why is that?)
Recommendations
substructural logicmodal logicfuzzy logicsemantic entailmentlabelled deductive systemsderivability relation
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) Abstract deductive systems (03B22) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (9)
- Title not available (Why is that?)
- Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence
- Title not available (Why is that?)
- Belief revision in non-classical logics
- Compiled labelled deductive systems for access control
- Title not available (Why is that?)
- Graded tableaux for Rational Pavelka Logic
- Title not available (Why is that?)
- 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)