- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Automated Theorem-proving in Non-classical Logics
Pitman Publishing (1988)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Automated Deduction in Classical and Non-Classical Logics: Selected Papers.Ricardo Caferra & Gernot Salzer - 2000 - Springer Verlag.
Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'.Jim Grundy & Malcolm Newey - 1998 - Springer Verlag.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'.Jim Grundy & Malcolm Charles Newey - 1998
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.Michael J. C. Gordon & Tom F. Melham - 1993
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Analytics
Added to PP
2015-02-03
Downloads
61 (#986,805)
6 months
24 (#408,108)
2015-02-03
Downloads
61 (#986,805)
6 months
24 (#408,108)
Historical graph of downloads
Author's Profile
Citations of this work
Variable-Sharing as Relevance.Shawn Standefer - 2025 - In Andrew Tedder, Shawn Standefer & Igor Sedlar, New Directions in Relevant Logic. Cham: Springer. pp. 97-117.
Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.
Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. Van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283-336.
Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1):11-20.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation