DC FieldValueLanguage
dc.contributor.authorPetrić, Zoranen
dc.date.accessioned2020-04-12T18:10:34Z-
dc.date.available2020-04-12T18:10:34Z-
dc.date.issued2003-08-15en
dc.identifier.issn0168-0072en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/346-
dc.description.abstractAn extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical transformations are dinatural. An alternative sequent system for intuitionistic propositional logic is introduced as a device, and a cut-elimination procedure is established for this system.en
dc.relationMinistry of Science, Technology and Development of Serbia, Grant 1630 (Representation of proofs with applications, classification of structures and ignite combinatorics)-
dc.relation.ispartofAnnals of Pure and Applied Logicen
dc.subjectBicartesian closed categories | Dinatural transformationsen
dc.titleG-dinaturalityen
dc.typeArticleen
dc.identifier.doi10.1016/S0168-0072(03)00003-4en
dc.identifier.scopus2-s2.0-30244542557en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage131en
dc.relation.lastpage173en
dc.relation.issue1-3en
dc.relation.volume122en
dc.description.rankM22-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2049-9892-
Show simple item record

SCOPUSTM   
Citations

1
checked on Apr 17, 2024

Page view(s)

33
checked on Apr 16, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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