Generalized Quantification as Substructural Logic.

Natasha Alechina Michiel van Lambalgen

Published in: J. Symb. Log. (1996)

Keyphrases

propositional calculus
multi valued
neural network
real time
information systems
multi agent
fuzzy sets
modal logic
automated reasoning
probabilistic logic
sound and complete axiomatization