Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This paper is in final form and no version of it will be submitted for publication elsewhere.
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and Z. Manna: A Timely Resolution, Stanford University TR STAN-CS-86-1106 (1986).
G. Grätzer: Universal Algebra, D. Van Nostrand (1968).
L. Henschen and A. Naqvi: Representing Infinite Sequences of Resolvents in Recursive First-Order Horn Databases, LNCS 138 (1982), 342–359.
K. Konolige: Resolution and Quantified Epistemic Logics, LNCS 230 (1986), 199–208.
J. Loś and R. Suszko: Remarks on Sentential Logics, Indagationes Mathematicae 20 (1958), 177–183.
Z. Manna and R. Waldinger: Special Relations in Automated Deduction, JACM 33 (1986), 1–59.
N. Murray: Completely Non-Clausal Theorem Proving, Artificial Intelligence 18 (1982), 67–85.
J.A. Robinson: A Machine-Oriented Logic Based on the Resolution Principle, JACM 12 (1965), 23–41.
Z. Stachniak: Some Notes on Characteristic Consequence Operations, Bulletin of The Section of Logic, PAN 7 (1978), 159,168.
Z. Stachniak: Minimization of Resolution Proof Systems (to appear); see also York University TR CS-88-07 (1988).
Z. Stachniak and P. O'Hearn: Resolution in the Domain of Strongly Finite Logics, to appear in Fundamenta Informaticae (1989); see also York University Technical Report #CS-87-14 (1987).
P. Thistlewaite, M. McRobbie and R. Meyer: Automated Theorem-Proving in Non-Classical Logics, Pitman (1988).
R. Wójcicki: Strongly Finite Sentential Calculi, in Selected Papers on Lukasiewicz Sentential Calculi (ed. R. Wójcicki) (1977), 53–77.
J. Zygmunt: A Note on Direct Products and Ultraproducts of Logical Matrices, Studia Logica 33 (1974), 349–357.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stachniak, Z. (1990). The resolution rule: An algebraic perspective. In: Bergman, C.H., Maddux, R.D., Pigozzi, D.L. (eds) Algebraic Logic and Universal Algebra in Computer Science. ALUACS 1988. Lecture Notes in Computer Science, vol 425. Springer, New York, NY. https://doi.org/10.1007/BFb0043087
Download citation
DOI: https://doi.org/10.1007/BFb0043087
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97288-6
Online ISBN: 978-0-387-34804-9
eBook Packages: Springer Book Archive