Pitman Publishing (1988)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Automatic theorem proving Neoclassical mathematical logic |
| Categories | (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| ISBN(s) | 0273087819 0273087819 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,337
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Implicational Paradoxes and the Meaning of Logical Constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.
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).
${LE}^{T}{{\rightarrow}}$ , ${LR}^{\circ}{\hat{\sim}}$, {LK} and Cutfree Proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
View all 10 citations / Add more citations
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.
Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'. [REVIEW]J. Grundy & Malcolm Charles Newey - 1998
Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - New York, NY, USA: Academic Press.
Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'. [REVIEW]J. 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 - Wiley.
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings. [REVIEW]P. Miglioli, Ugo Moscato, Daniele Mundici & Mario Ornaghi - 1996 - Springer Verlag.
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996. Proceedings. [REVIEW]M. A. Mcrobbie & J. K. Slaney - 1996 - Springer Verlag.
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings. [REVIEW]Peter Baumgartner, F. Hahnle, Iner Hahnle & Joachim Posegga - 1995 - Springer Verlag.
Deduction: Automated Logic.W. Bibel, Steffen Hölldobler & Gerd Neugebauer - 1992 - London, England: Academic Press.
5th Conference on Automated Deduction, les Arcs, France, July 8-11, 1980.W. Bibel & Robert Kowalski - 1980
7th International Conference on Automated Deduction, Napa, California, Usa, May 14-16, 1984 Proceedings.Robert Shostak - 1984
Higher Order Logic Theorem Proving and its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings. [REVIEW]E. Thomas Schubert, Phillip J. Windley, James Alves-Foss & International Workshop on Higher Order Logic Theorum Proving and its Applications - 1995 - Springer Verlag.
Analytics
Added to PP index
2015-02-03
Total views
6 ( #1,133,882 of 2,507,886 )
Recent downloads (6 months)
3 ( #208,911 of 2,507,886 )
2015-02-03
Total views
6 ( #1,133,882 of 2,507,886 )
Recent downloads (6 months)
3 ( #208,911 of 2,507,886 )
How can I increase my downloads?
Downloads
