scientific article; zbMATH DE number 1406801
From MaRDI portal
Publication:4940717
zbMath0941.03508MaRDI QIDQ4940717
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nonmonotonic logiclogical systemnonmonotonic consequence relationfoundations of nonmonotonic reasoning
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)
Related Items (2)
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ Informational interpretation of substructural propositional logics
This page was built for publication:
