e-Bases of Triadic Logic Operations.

Grant Pogosyan Takashi Nakamura

Published in: ISMVL (1998)

Keyphrases

logical operations
multi valued
proof theory
logic programming
modal logic
predicate logic
database
classical logic
sound and complete axiomatization
deontic logic
epistemic logic
abductive reasoning
formal theory
basis functions
expert systems
image sequences
data sets