Dual Intuitionistic Logic Revisited
-
Altmetric Citations
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.author | Gore, Rajeev | |
---|---|---|
dc.coverage.spatial | St Andrews Scotland | |
dc.date.accessioned | 2015-12-13T23:17:34Z | |
dc.date.available | 2015-12-13T23:17:34Z | |
dc.date.created | March 7 2000 | |
dc.identifier.isbn | 354067697X | |
dc.identifier.uri | http://hdl.handle.net/1885/89766 | |
dc.description.abstract | 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.publisher | Springer | |
dc.relation.ispartofseries | International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2000) | |
dc.source | Proceedings of TABLEAUX-2000 | |
dc.subject | Keywords: Classical logic; Display calculus; Dual intuitionistic logic; Dual operators; Hybrid logic; Intuitionistic logic; Structural rules; Algebra; Calculations; Formal logic | |
dc.title | Dual Intuitionistic Logic Revisited | |
dc.type | Conference paper | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
dc.date.issued | 2000 | |
local.identifier.absfor | 080299 - Computation Theory and Mathematics not elsewhere classified | |
local.identifier.ariespublication | MigratedxPub19976 | |
local.type.status | Published Version | |
local.contributor.affiliation | Gore, Rajeev, College of Engineering and Computer Science, ANU | |
local.bibliographicCitation.startpage | 252 | |
local.bibliographicCitation.lastpage | 267 | |
local.identifier.doi | 10.1007/10722086_21 | |
dc.date.updated | 2016-02-24T09:48:22Z | |
local.identifier.scopusID | 2-s2.0-84886046872 | |
Collections | ANU Research Publications |
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: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator