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