Avtomat. i Telemekh., 1988 Issue 5, Pages 132–142
(Mi at6684)
|
Automata
Galculi which allow derivation checks by finite interpretations
A. V. Babichev Moscow
Abstract:
As particular cases of first-order calculi those calculi are introduced which allow checking logical derivation by using finite set models.
UDC:
519.682 Received: 27.11.1986
English version:
Automation and Remote Control, 1988,
49:5,
655–662
Bibliographic databases:
© , 2026
Fulltext:
PDF file (1660 kB)