Login / Signup

Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term.

Czeslaw Lejewski
Published in: Stud Logica (1989)
Keyphrases
  • propositional calculus
  • complex objects
  • knowledge representation
  • high level
  • neural network
  • databases
  • expert systems