scientific article; zbMATH DE number 1790421
zbMATH Open1012.03013MaRDI QIDQ4549486FDOQ4549486
Dov Gabbay, Krysia Broda, Alessandra Russo
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 (8)
- Title not available (Why is that?)
- Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence
- Title not available (Why is that?)
- Title not available (Why is that?)
- BELIEF REVISION IN NON-CLASSICAL LOGICS
- 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)