scientific article; zbMATH DE number 1790421

MaRDI QIDQ4549486zbMATH OpenFDO

Authors Alessandra Russo, Krysia Broda, Dov Gabbay

Publication date 12 November 2002

zbMATH Keywords

derivability relationfuzzy logiclabelled deductive systemsmodal logicsemantic entailmentsubstructural logic

Mathematics Subject Classification ID

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)

Cited in

(9)

• 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)