Login / Signup

First order theory for literal-paraconsistent and literal-paracomplete matrices.

Renato A. LewinIrene F. Mikenberg
Published in: Math. Log. Q. (2010)
Keyphrases
  • truth values
  • theoretical framework
  • higher order
  • first order logic
  • general theory
  • neural network
  • lower bound
  • programming language
  • linear algebra
  • classical logic
  • action theories
  • pairwise comparison