Semantical analysis of predicate logics without the contraction rule.

Published in: Stud Logica (1985)

Keyphrases

image analysis
artificial intelligence
real time
machine learning
search engine
knowledge base
database systems
multi agent systems
data analysis
expressive power
quantitative analysis