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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Belnap, N.D.: Display logic. Journal of Philosophical Logic 11, 375–417 (1982)
Crolard, T.: Subtractive logic. Theor. Comp. Sci. (to appear)
Curry, H.B.: Foundations of Mathematical Logic. Dover, New York (1976)
Czermak, J.: A remark on Gentzen’s calculus of sequents. Notre Dame Journal of Formal Logic 18(3), 471–474 (1977)
Dragalin, A.G.: Mathematical Intuitionism: Introduction to Proof Theory. Translations of Mathematical Monographs. vol. 67. AMS, USA (1988)
Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. JSL 57(3) (1992)
Goodman, N.D.: The logic of contradiction (abstract). Notices of the American Mathematical Society 25, A-24 (1978); Abstract number 752-02-2
Goodman, N.D.: The logic of contradiction. ZML 27, 119–126 (1981)
Goré, R.: A uniform display system for intuitionistic and dual intuitionistic logic. TR-ARP-6-95, Automated Reasoning Project, Australian Nat. Uni.
Goré, R.: Intuitionistic logic redisplayed. TR-ARP-1-95, Automated Reasoning Project, Australian National University (1995)
Goré, R.: Cut-free display calculi for relation algebras. In: CSL 1996. LNCS, vol. 1258, pp. 198–210. Springer, Heidelberg (1997)
Goré, R.: Substructural logics on display. Log. J. IGPL 6(3), 451–504 (1998)
Lukowski, P.: Modal Interpretation of Heyting-Brouwer Logic. Bulletin of the Section of Logic 25, 80–83 (1996)
McKinsey, J.C.C., Tarski, A.: On closed elements in closure algebras. Annals of Mathematics 47, 122–162 (1946)
Rauszer, C.: Semi-boolean algebras and their applications to intuitionistic logic with dual operators. Fundamenta Mathematicae (1974)
Rauszer, C.: An algebraic and Kripke-style approach to a certain extension of in- tuitionistic logic. Dissertationes Mathematicae, Institute of Mathematics, Polish Academy of Sciences, vol. CLXVII (1980)
Urbas, I.: Dual intuitionistic logic. NDJFL 37(3), 440–451 (1996)
Wansing, H.: Displaying Modal Logic. Kluwer, Dordrecht (1998) (trends in Logic)
Wolter, F.: On logics with coimplication. J. Phil. Logic 27, 353–387 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goré, R. (2000). Dual Intuitionistic Logic Revisited. In: Dyckhoff, R. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2000. Lecture Notes in Computer Science(), vol 1847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722086_21
Download citation
DOI: https://doi.org/10.1007/10722086_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67697-3
Online ISBN: 978-3-540-45008-5
eBook Packages: Springer Book Archive