Hierarchies of Partially Ordered Connectives and Quantifiers.

Michal Krynicki

Published in: Math. Log. Q. (1993)

Keyphrases

partially ordered
partial order
inference rules
totally ordered
event calculus
partial ordering
total order
possibilistic logic
first order logic
interval valued
artificial intelligence
data sets
data structure
hierarchical structure