References
S. Maslov. The connection between tactics of inverse method and the resolution method. A. O. Slisenko (editor). Zapiski Nauchnykh Seminarov LOMI. v. 16, 1969. English translation in: J.Siekmann, G. Wrightson, eds. Automated Reasoning, Springer-Verlag, Berlin, 1983, v 2, 264–27
G. Mints. Resolution Calculi for Non-classical Logics (Russian), 9-th Soviet Symposium in Cybernetics, 1981, v 2, 34–36
N. Zamov. The Resolution Method without Skolemization, Soviet Math. Dokl., 35, 1987, N 2, 399–401
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mints, G. (1993). Strategies for resolution method in non-classical logics (Abstract). In: Gottlob, G., Leitsch, A., Mundici, D. (eds) Computational Logic and Proof Theory. KGC 1993. Lecture Notes in Computer Science, vol 713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022553
Download citation
DOI: https://doi.org/10.1007/BFb0022553
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57184-1
Online ISBN: 978-3-540-47943-7
eBook Packages: Springer Book Archive