Skip navigation
Skip navigation

A local system for intuitionistic logic

Tiu, Alwen


This paper presents systems for first-order intuitionistic logic and several of its extensions in which all the prepositional rules are local, in the sense that, in applying the rules of the system, one needs only a fixed amount of information about the logical expressions involved. The main source of non-locality is the contraction rules. We show that the contraction rules can be restricted to the atomic ones, provided we employ deep-inference, i.e., to allow rules to apply anywhere inside...[Show more]

CollectionsANU Research Publications
Date published: 2006
Type: Conference paper
Source: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2006)


File Description SizeFormat Image
01_Tiu_A_local_system_for_2006.pdf380.28 kBAdobe PDF    Request a copy
02_Tiu_A_local_system_for_2006.pdf129.73 kBAdobe PDF    Request a copy
03_Tiu_A_local_system_for_2006.pdf157.68 kBAdobe PDF    Request a copy
04_Tiu_A_local_system_for_2006.pdf94.92 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator