Login / Signup

Paraconsistent Many-Valued Logic in GUHA Framework.

Esko Turunen
Published in: Acta Informatica Pragensia (2018)
Keyphrases
  • logic programming
  • logical framework
  • main contribution
  • modal logic
  • truth values
  • multi valued
  • learning algorithm