Implicational Logics in Natural Deduction Systems.

E. G. K. López-Escobar

Published in: J. Symb. Log. (1982)

Keyphrases

distributed systems
expressive power
natural deduction
intelligent systems
complex systems
management system
computer systems
neural network