DC FieldValueLanguage
dc.contributor.authorDošen, Kostaen
dc.contributor.authorPetrić, Zoranen
dc.date.accessioned2020-04-12T18:10:31Z-
dc.date.available2020-04-12T18:10:31Z-
dc.date.issued2017-03-01en
dc.identifier.issn1755-0203en
dc.description.abstractA skeleton of the category with finite coproducts freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products freely generated by a countable set of objects. As a consequence, we obtain that has a subcategory equivalent with . From a proof-theoretical point of view, this means that up to some identifications of formulae the deductions of pure conjunctive logic with a countable set of propositional letters can be represented by deductions in pure disjunctive logic with just one propositional letter. By taking opposite categories, one can replace coproduct by product, i.e., disjunction by conjunction, and the other way round, to obtain the dual results.en
dc.publisherCambridge University Press-
dc.relation.ispartofReview of Symbolic Logicen
dc.titleRepresenting conjunctive deductions by disjunctive deductionsen
dc.typeArticleen
dc.identifier.doi10.1017/S175502031600037Xen
dc.identifier.scopus2-s2.0-84992391437en
dc.relation.firstpage145en
dc.relation.lastpage157en
dc.relation.issue1en
dc.relation.volume10en
dc.description.rankM21-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
Show simple item record

Page view(s)

24
checked on Oct 5, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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