Towards a connection procedure with built in theories. (English) Zbl 0796.03011
Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 444-453 (1991).
Summary: It is shown how to build in open first-order theories into a proof procedure based on the connection method accepting arbitrary formulas preserving completeness and soundness of the procedure.
For the entire collection see [Zbl 0768.00012].
For the entire collection see [Zbl 0768.00012].
MSC:
03B35 | Mechanization of proofs and logical operations |