David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 59 (2):179-216 (1997)
Resolution is an effective deduction procedure for classical logic. There is no similar "resolution" system for non-classical logics (though there are various automated deduction systems). The paper presents resolution systems for intuistionistic predicate logic as well as for modal and temporal logics within the framework of labelled deductive systems. Whereas in classical predicate logic resolution is applied to literals, in our system resolution is applied to L(abelled) R(epresentation) S(tructures). Proofs are discovered by a refutation procedure defined on LRSs, that imposes a hierarchy on clause sets of such structures together with an inheritance discipline. This is a form of Theory Resolution. For intuitionistic logic these structures are called I(ntuitionistic) R(epresentation) S(tructures). Their hierarchical structure allows the restriction of unification of individual variables and/or constants without using Skolem functions. This structures must therefore be preserved when we consider other (non-modal) logics. Variations between different logics are captured by fine tuning of the inheritance properties of the hierarchy. For modal and temporal logics IRS's are extended to structures that represent worlds and/or times. This enables us to consider all kinds of combined logics.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
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|
References found in this work BETA
No references found.
Citations of this work BETA
Martin W. A. Caminada & Dov M. Gabbay (2009). A Logical Account of Formal Argumentation. Studia Logica 93 (2/3):109 - 145.
Dov M. Gabbay (2009). Semantics for Higher Level Attacks in Extended Argumentation Frames. Part 1: Overview. Studia Logica 93 (2/3):357 - 381.
Dov M. Gabbay (2009). Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. Studia Logica 93 (2-3):357-381.
Similar books and articles
Zbigniew Stachniak (1993). An Essay on Resolution Logics. Studia Logica 52 (2):309 - 322.
David Basin, Seán Matthews & Luca Viganò (1998). Natural Deduction for Non-Classical Logics. Studia Logica 60 (1):119-160.
Ramon Jansana (1995). Abstract Modal Logics. Studia Logica 55 (2):273 - 299.
Greg Restall (forthcoming). Substructural Logics. Stanford Encyclopedia of Philosophy.
Frank Wolter (1997). Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58 (2):229-259.
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
Added to index2009-01-28
Total downloads18 ( #194,363 of 1,790,225 )
Recent downloads (6 months)4 ( #199,513 of 1,790,225 )
How can I increase my downloads?