Publication:4549486
From MaRDI portal
zbMath1012.03013MaRDI QIDQ4549486
Alessandra Russo, Dov M. Gabbay, Krysia Broda
Publication date: 12 November 2002
fuzzy logic; modal logic; substructural logic; semantic entailment; labelled deductive systems; derivability relation
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