V. N. Zakharov ,   L. Ya. Rozenblyum ,   V. N. Vagin In book: "Artificial Intelligence and Inforation- Control Systems of Robots-87". I. Plander (Ed.). Elsevier Science Publishers. Amsterdam. North-Holland. , 01.1987 , language: английский  Аннотация An idea of propositional calculus and first-order logic representation via interpreted Petri nets is suggested. The representation promises an effective implementa- tion by both software and hardware.  Ключевые слова Logical Inference, Interpreted Petri Nets, Predicate Logic