Login / Signup

Equational Reasoning in Non--Classical Logics.

Marcelo F. FriasEwa Orlowska
Published in: J. Appl. Non Class. Logics (1998)
Keyphrases
  • classical logic
  • automated theorem proving
  • theorem proving
  • fuzzy logic
  • fixed point
  • logic programming
  • natural language
  • software engineering
  • fuzzy sets
  • decision makers
  • orders of magnitude
  • dynamic environments