Login / Signup

Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices.

Eduardo HirshRenato A. Lewin
Published in: Math. Log. Q. (2008)
Keyphrases
  • truth values
  • inference rules
  • expressive power
  • real time
  • logic programming
  • recommender systems
  • singular value decomposition
  • modal logic
  • fixpoint