Login / Signup

The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3-Valued Logic Ł3.

Gemma RoblesJosé M. Méndez
Published in: J. Log. Lang. Inf. (2020)
Keyphrases
  • valued logic
  • classical logic
  • propositional logic
  • automated reasoning
  • truth values
  • logic programming
  • fuzzy logic
  • first order logic
  • real time
  • modal logic
  • neural network
  • machine learning