Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:elar.urfu.ru:10995/102373

About proof-search in intuitionistic natural deduction calculus using partial Skolemization

Authors
Publication date
1 January 2020
Publisher
IOP Publishing Ltd
Doi

    Abstract

    In this paper, automated proof search in single-conclusion sequential variant of intuitionistic and minimal predicate calculus is considered. In this algorithm, meta-variables and partial Skolemization are used. Theorems of soundness and completeness for the considered algorithm are proved. © Published under licence by IOP Publishing Ltd

    Similar works

    Full text

    thumbnail-image

    Institutional repository of Ural Federal University named after the first President of Russia B.N.Yeltsin

    redirect
    oaioai:elar.urfu.ru:10995/102373
    Last time updated on 06/11/2021

    This paper was published in Institutional repository of Ural Federal University named after the first President of Russia B.N.Yeltsin.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.