Note on theorem proving strategies for resolution counterparts of non-classical logics
Peter W. O’Hearn, Zbigniew Stachniak · 1989
Article Free Access Share on Note on theorem proving strategies for resolution counterparts of non-classical logics Authors: P. O'Hearn Queen's University, Kingston, Canada Queen's University, Kingston, CanadaView Profile , Z. Stachniak York University, North York, Canada York University, North York, CanadaView Profile Authors Info & Claims ISSAC '89: Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computationJuly 1989 Pages 364–372https://doi.org/10.1145/74540.74583Online:17 July 1989Publication History 6citation198DownloadsMetricsTotal Citations6Total Downloads198Last 12 Months4Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF