Login / Signup

The Lattice of the Clones of Self-Dual Functions in Three-Valued Logic.

Dmitriy Zhuk
Published in: ISMVL (2011)
Keyphrases
  • nonmonotonic logics
  • multi valued
  • boolean algebra
  • logic programming
  • basis functions
  • classical logic
  • epistemic logic
  • proof theory
  • lattice theory
  • data mining
  • expressive power
  • lattice structure
  • logic synthesis