Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Dual Intuitionistic Logic Revisited

link to publisher version

  • Altmetric Citations

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

dc.contributor.authorGore, Rajeev
dc.coverage.spatialSt Andrews Scotland
dc.date.accessioned2015-12-13T23:17:34Z
dc.date.available2015-12-13T23:17:34Z
dc.date.createdMarch 7 2000
dc.identifier.isbn354067697X
dc.identifier.urihttp://hdl.handle.net/1885/89766
dc.description.abstractWe 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
dc.publisherSpringer
dc.relation.ispartofseriesInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2000)
dc.sourceProceedings of TABLEAUX-2000
dc.subjectKeywords: Classical logic; Display calculus; Dual intuitionistic logic; Dual operators; Hybrid logic; Intuitionistic logic; Structural rules; Algebra; Calculations; Formal logic
dc.titleDual Intuitionistic Logic Revisited
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2000
local.identifier.absfor080299 - Computation Theory and Mathematics not elsewhere classified
local.identifier.ariespublicationMigratedxPub19976
local.type.statusPublished Version
local.contributor.affiliationGore, Rajeev, College of Engineering and Computer Science, ANU
local.bibliographicCitation.startpage252
local.bibliographicCitation.lastpage267
local.identifier.doi10.1007/10722086_21
dc.date.updated2016-02-24T09:48:22Z
local.identifier.scopusID2-s2.0-84886046872
CollectionsANU Research Publications

Download

There are no files associated with this item.
Show simple item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator