| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Dautović, Šejla | en |
| dc.contributor.author | Zekić, Mladen | en |
| dc.date.accessioned | 2020-04-27T10:33:22Z | - |
| dc.date.available | 2020-04-27T10:33:22Z | - |
| dc.date.issued | 2019-01-01 | en |
| dc.identifier.issn | 0025-5165 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/639 | - |
| dc.description.abstract | In 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.publisher | Društvo Matematičara Srbije | - |
| dc.relation | Representations of logical structures and formal languages and their application in computing | - |
| dc.relation.ispartof | Matematički Vesnik | en |
| dc.subject | Intuitionistic logic | Sequent calculus | Unprovability | en |
| dc.title | Intuitionistic unprovability | en |
| dc.type | Article | en |
| dc.identifier.scopus | 2-s2.0-85066980345 | en |
| dc.identifier.url | http://www.vesnik.math.rs/vol/mv191213.pdf | - |
| dc.relation.firstpage | 180 | en |
| dc.relation.lastpage | 189 | en |
| dc.relation.issue | 1-2 | en |
| dc.relation.volume | 71 | en |
| dc.description.rank | M52 | - |
| item.openairetype | Article | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.cerifentitytype | Publications | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| crisitem.author.orcid | 0000-0002-2108-3314 | - |
| crisitem.author.orcid | 0000-0001-8285-746X | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php | - |
| crisitem.project.fundingProgram | Directorate for Social, Behavioral & Economic Sciences | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.