Login / Signup

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic.

Toshihiko KurataKen-etsu Fujita
Published in: Fundam. Informaticae (2019)
Keyphrases
  • propositional logic
  • lattice theory
  • valued logic
  • belief revision
  • first order logic
  • possibilistic logic
  • relational databases
  • machine learning
  • knowledge representation
  • logic programs