DC FieldValueLanguage
dc.contributor.authorDautović, Šejlaen
dc.contributor.authorZekić, Mladenen
dc.date.accessioned2020-04-27T10:33:22Z-
dc.date.available2020-04-27T10:33:22Z-
dc.date.issued2019-01-01en
dc.identifier.issn0025-5165en
dc.description.abstractIn 1952, S.C. Kleene introduced a Gentzen-type system G3 which is designed to be suitable for showing that the given sequents (and consequently the corresponding formulae) are unprovable in the intuitionistic logic. We show that some classes of predicate formulae are unprovable in the intuitionistic predicate calculus, using the system G3 and some properties of sequents that remain invariant throughout derivations in this system. The unprovability of certain formulae obtained by Kleene follows from our results as a corollary.en
dc.publisherDruštvo Matematičara Srbije-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relation.ispartofMatematički Vesniken
dc.subjectIntuitionistic logic | Sequent calculus | Unprovabilityen
dc.titleIntuitionistic unprovabilityen
dc.typeArticleen
dc.identifier.scopus2-s2.0-85066980345en
dc.identifier.urlhttp://www.vesnik.math.rs/vol/mv191213.pdf-
dc.relation.firstpage180en
dc.relation.lastpage189en
dc.relation.issue1-2en
dc.relation.volume71en
dc.description.rankM52-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
Show simple item record

Page view(s)

89
checked on Nov 28, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.