Login / Signup
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.
Marcello D'Agostino
Dov M. Gabbay
Published in:
J. Autom. Reason. (1994)
Keyphrases
</>
propositional calculus
complex systems
inference rules
data sets
data mining
artificial intelligence
object oriented
knowledge based systems
e learning
multi agent
mobile devices
hidden markov models
intelligent systems