Skip navigation
Skip navigation
The system will be down for maintenance between 8:00 and 8:15am on Thursday 13, December 2018

Dual Intuitionistic Logic Revisited

Gore, Rajeev

Description

We unify the algebraic, relational and sequent methods used by various authors to investigate "dual intuitionistic logic". We show that restricting sequents to "singletons on the left/right" cannot capture "intuitionistic logic with dual operators", the n

CollectionsANU Research Publications
Date published: 2000
Type: Conference paper
URI: http://hdl.handle.net/1885/89766
Source: Proceedings of TABLEAUX-2000
DOI: 10.1007/10722086_21

Download

There are no files associated with this item.


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

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator