Partially Ordered Connectives.

Gabriel Sandu Jouko Väänänen

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

Keyphrases

partially ordered
partial order
partial ordering
inference rules
event calculus
totally ordered
total order
interval valued
possibilistic logic
truth values
sequent calculus
total ordering
genetic algorithm
data structure