scientific article; zbMATH DE number 1790421
From MaRDI portal
Publication:4549486
zbMath1012.03013MaRDI QIDQ4549486
Alessandra Russo, Dov M. Gabbay, Krysia Broda
Publication date: 12 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fuzzy logicmodal logicsubstructural logicsemantic entailmentlabelled deductive systemsderivability relation
Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Abstract deductive systems (03B22)
Related Items
Graded tableaux for Rational Pavelka Logic ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence ⋮ Fuzzy \(rr\)DFCSP and planning
This page was built for publication:
