Login / Signup

A 4-valued framework encompassing intuitionistic and classical logic.

Tin Perkov
Published in: J. Appl. Non Class. Logics (2014)
Keyphrases
  • classical logic
  • valued logic
  • knowledge base
  • logical framework
  • neural network
  • machine learning