Login / Signup

Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic.

Kumar Sankar RayLitan Kumar Das
Published in: Ann. Math. Artif. Intell. (2021)
Keyphrases
  • modal logic
  • classical logic
  • valued logic
  • temporal logic
  • special case
  • knowledge base
  • neural network
  • knowledge representation
  • prime implicates