Automated Theorem-proving in Non-classical Logics

, &
Pitman Publishing (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0273087819

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,830

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Automated Deduction in Classical and Non-Classical Logics: Selected Papers.Ricardo Caferra & Gernot Salzer - 2000 - Springer Verlag.
Increasing the efficiency of automated theorem proving.Gabriel Aguilera, Inma P. de Guzmán & Manuel Ojeda - 1995 - Journal of Applied Non-Classical Logics 5 (1):9-29.
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
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982.Donald W. Loveland - 1982 - Springer.
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980.W. Bibel & Robert Kowalski - 1980 - Springer Verlag.
Automated Deduction in Multiple-valued Logics.Reiner Hähnle - 1993 - Oxford University Press.
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings.Jörg H. Siekmann - 1986 - Springer.
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings.Rajeev Gore, Alexander Leitsch & Tobias Nipkow - 2001 - Springer Verlag.

Analytics

Added to PP
2015-02-03

Downloads
25 (#872,680)

6 months
4 (#1,240,197)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael A. McRobbie
Indiana University, Bloomington

Citations of this work

Variable-Sharing as Relevance.Shawn Standefer - 2024 - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.
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.
LEt ® , LR °[^( ~ )], LK and cutfree proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.
Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1):11-20.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references