@inproceedings{ba10066c11124be2a7945f724a0c4926,
title = "Dual intuitionistic logic revisited",
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 natural hybrid logic that arises from intuitionistic and dual-intuitionistic logic. We show that a previously reported generalised display framework does deliver the required cut-free display calculus. We also pinpoint precisely the structural rule necessary to turn this display calculus into one for classical logic.",
author = "Rajeev Gor{\'e}",
year = "2000",
doi = "10.1007/10722086_21",
language = "English",
isbn = "354067697X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "252--267",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2000, Proceedings",
note = "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 ; Conference date: 03-07-2000 Through 07-07-2000",
}