Login / Signup

Discrete Interval Truth Values Logic and Its Application.

Noboru TakagiKyoichi Nakashima
Published in: IEEE Trans. Computers (2000)
Keyphrases
  • truth values
  • linearly ordered
  • inference rules
  • multi valued
  • boolean logic
  • global exponential stability
  • fixpoint
  • lattice structure
  • valued logic
  • logic programs
  • first order logic
  • modal logic
  • automated reasoning