Creator |
|
|
Language |
|
Publisher |
|
|
Date |
|
Source Title |
|
Vol |
|
Publication Type |
|
Access Rights |
|
Related DOI |
|
|
Related URI |
|
|
Relation |
|
|
Abstract |
This paper treats decision problems for the intuitionistic logic without weakening rule $ FL_ec $. First, the cut elimination theorem for $ FL_ec $ will be shown. Using this fact and Kripke's method,... it will be proved that the propositional $ FL_ec $, is decidable. On the other hand, the predicate $ FL_ec $, will be shown to be undecidable by reducing the decision problem to that of the intuitionistic predicate logic.show more
|