Dual intuitionistic logic revisited

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1847 LNAI, Issue , 2000, Pages 252-267

  Goré, Rajeev ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL LOGIC; DISPLAY CALCULUS; DUAL INTUITIONISTIC LOGIC; DUAL OPERATORS; HYBRID LOGIC; INTUITIONISTIC LOGIC; STRUCTURAL RULES;

ALGEBRA; CALCULATIONS;

FORMAL LOGIC;

EID: 84886046872     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722086_21     Document Type: Conference Paper

References (19)

1. N D Belnap. Display logic. Journal of Philosophical Logic, 11:375-417, 1982.
2. T Crolard. Subtractive logic. Theor. Comp. Sci., to appear.
3. H B Curry. Foundations of Mathematical Logic. Dover, 1976.
4. J Czermak. A remark on Gentzen's calculus of sequents. Notre Dame Journal of Formal Logic, 18(3):471-474, 1977.
5. A G Dragalin. Mathematical Intuitionism: Introduction to Proof Theory, volume 67 of Translations of Mathematical Monographs. AMS, USA, 1988.
6. R Dyckhoff. Contraction-free sequent calculi for intuitionistic logic. JSL, 57(3), 1992.
7. N D Goodman. The logic of contradiction (abstract). Notices of the American Mathematical Society, 25, A-24, 1978. Abstract number 752-02-2.
8. N D Goodman. The logic of contradiction. ZML, 27:119-126, 1981.
9. R Goré. A uniform display system for intuitionistic and dual intuitionistic logic. TR-ARP-6-95, Automated Reasoning Project, Australian Nat. Uni.
10. R Goré. Intuitionistic logic redisplayed. TR-ARP-1-95, Automated Reasoning Project, Australian National University, 1995.
11. R Goré. Cut-free display calculi for relation algebras. In CSL96, LNCS 1258:198-210. Springer, 1997.
12. R Goré. Substructural logics on display. Log. J. IGPL, 6(3):451-504, 1998.
13. P Łukowski. Modal Interpretation of Heyting-Brouwer Logic. Bulletin of the Section of Logic, 25:80-83, 1996.
14. J C C McKinsey and A Tarski. On closed elements in closure algebras. Annals of Mathematics, 47:122-162, 1946.
15. C Rauszer. Semi-boolean algebras and their applications to intuitionistic logic with dual operators. Fundamenta Mathematicae, 1974.
16. C Rauszer. An algebraic and Kripke-style approach to a certain extension of intuitionistic logic, volume CLXVII of Dissertationes Mathematicae. Institute of Mathematics, Polish Academy of Sciences, 1980.
17. I Urbas. Dual intuitionistic logic. NDJFL, 37(3):440-451, 1996.
18. H Wansing. Displaying Modal Logic, Kluwer, Trends in Logic, 1998.
19. F Wolter. On logics with coimplication. J. Phil. Logic, 27:353-387, 1998.