On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions.
Àngel García-CerdañaVentura VerdúPublished in: CoRR (2013)
Keyphrases
- propositional calculus
- logic programming
- automated reasoning
- knowledge representation formalisms
- defeasible logic
- classical logic
- proof theory
- modal logic
- default logic
- data sets
- truth maintenance systems
- description logics
- efficient implementation
- default theories
- database systems
- predicate logic
- machine learning
- neural network