<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Report CS-RR-246

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

Ian P. Gent, Analytic Proof Systems for Classical and Modal Logics of Restricted Quantification (July 1, 1993).

Abstract

This thesis is a study of the relationship between proof systems for propositional logic and for logics of restricted quantification incorporating restriction theories. Such logics are suitable for the study of special purpose reasoning as part of a larger system, an important research topic in automated reasoning. Also, modal and sorted logics can be expressed in this way. Thus, results on restricted quantification apply to a wide range of useful logics. D'Agostino's "expansion systems" are used to generalise results to apply to a variety of tableau-like propositional proof systems.

Download

The report may be downloaded in as a tar archive containing several PostScript files: cs-rr-246.tar.gz

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>