On sequence-conclusion natural deduction systems.

Branislav R. Boricic

Published in: J. Philos. Log. (1985)

Keyphrases

natural deduction
expert systems
distributed systems
artificial intelligence
management system
computer systems
fixed point