Publication:4549486

zbMath1012.03013MaRDI QIDQ4549486

Alessandra Russo, Dov M. Gabbay, Krysia Broda

Publication date: 12 November 2002

zbMATH Keywords

fuzzy logic; modal logic; substructural logic; semantic entailment; labelled deductive systems; derivability relation

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B45: Modal logic (including the logic of norms)

03B50: Many-valued logic

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03B22: Abstract deductive systems

Related Items

Graded tableaux for Rational Pavelka Logic, Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence, Fuzzy \(rr\)DFCSP and planning, BELIEF REVISION IN NON-CLASSICAL LOGICS