Login / Signup

Extended regular ternary logic functions and majority functions capable of synthesizing any ternary logic function.

Yoshinori Yamamoto
Published in: Systems and Computers in Japan (2004)
Keyphrases
  • multi valued
  • sound and complete axiomatization
  • multiscale
  • expert systems
  • logic programming
  • modal logic
  • case study
  • convex functions
  • classical logic
  • target function
  • formal theory
  • functional programs