Abstract
This paper discusses the resolution principle in the context of non-classical logics.
Similar content being viewed by others
References
G. Grätzer,Universal Algebra, Van Nostrand, 1968.
J. Hopcroft andJ. Ullman,Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
J. Lukasiewicz,Logika dwuwartościowa (Two-valued Logic),Przeglad Filozoficzny,23 (1921), pp. 189–205.
Z. Manna andR. Waldinger,Special Relations in Automated Deduction,Journal of the ACM,33 (1986), pp. 1–59.
N. Murray,Completely Non-Clausal Theorem Proving,Artificial Intelligence 18 (1982), pp. 67–85.
J. A. Robinson,A Machine-Oriented Logic Based on the Resolution Principle,Journal of ACM,12 (1965), pp. 23–41.
J. Słupecki,St. Leśniewski's Protothetics,Studia Logica,3 (1953), pp. 7–76.
Z. Stachniak,Resolution Approximation of First-Order Logics,Information and Computation,96 (1992), pp. 225–244.
Z. Stachniak,Minimization of Resolution Proof Systems,Fundamenta Informaticae,14 (1991), pp. 129–146.
Z. Stachniak,Extending Resolution to Resolution Logics,The Journal of Experimental and Theoretical Artificial Intelligence,3 (1991), pp. 17–32.
Z. Stachniak,Note on Effective Constructibility of Resolution Proof Systems,Proceedings of European Workshop on Logic in AI, Amsterdam,Lecture Notes in Artificial Intelligence,478 (1990), pp. 487–498.
Z. Stachniak,Resolution Rule: An Algebraic Perspective,Proceedings of Algebraic Logic and Universal Algebra in Computer Science Conference, Ames,Lecture Notes in Computer Science,425 (1988), pp. 227–242.
Z. Stachniak andP. O'Hearn,Resolution in the Domain of Strongly Finite Logics,Fundamenta Informaticae 13 (1990), pp. 333–351.
J. Srzednicki andZ. Stachniak,S. Leśniewski's Lecture Notes in Logic. Kluwer Academic Publishers, Dordrecht/Boston/London 1988.
R. Wójcicki,Theory of Logical Calculi: Basic Theory of Consequence Operations. Kluwer Academic Publishers, Dordrecht/Boston/London 1988.
Author information
Authors and Affiliations
Additional information
Research supported by the grant from Natural Sciences and Engineering Research Council of Canada.
Rights and permissions
About this article
Cite this article
Stachniak, Z. An essay on resolution logics. Stud Logica 52, 309–322 (1993). https://doi.org/10.1007/BF01058394
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01058394