We introduce and study a Gentzen calculus for the first-order entailment in Dummett's linear superintuitionistic propositional logic which has both the subformula and cut elimination properties and is obtained from Gentzen's calculus LK for the classical propositional logic by removing those rules of introduction of negation to right, whose right sides of premises contain not only the negations of formulas.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"