The contraction rule and decision problems for logics without structural rules

Studia Logica 50 (2):299 - 319 (1991)
  Copy   BIBTEX


This paper shows a role of the contraction rule in decision problems for the logics weaker than the intuitionistic logic that are obtained by deleting some or all of structural rules. It is well-known that for such a predicate logic L, if L does not have the contraction rule then it is decidable. In this paper, it will be shown first that the predicate logic FLec with the contraction and exchange rules, but without the weakening rule, is undecidable while the propositional fragment of FLec is decidable. On the other hand, it will be remarked that logics without the contraction rule are still decidable, if our language contains function symbols.



    Upload a copy of this work     Papers currently archived: 89,408

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

43 (#319,756)

6 months
6 (#197,500)

Historical graph of downloads
How can I increase my downloads?