DC FieldValueLanguage
dc.contributor.authorDošen, Kostaen
dc.contributor.authorPetrić, Zoranen
dc.date.accessioned2020-04-12T18:10:33Z-
dc.date.available2020-04-12T18:10:33Z-
dc.date.issued2012-02-01en
dc.identifier.issn0942-5616en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/332-
dc.description.abstractIsomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.en
dc.publisherWiley-
dc.relation.ispartofMathematical Logic Quarterlyen
dc.subjectCategorial coherence | Categories | Classical linear propositional logic | Classical propositional logic | Equality of deductions | Identity of proofs | Isomorphic formulaeen
dc.titleIsomorphic formulae in classical propositional logicen
dc.typeArticleen
dc.identifier.doi10.1002/malq.201020020en
dc.identifier.scopus2-s2.0-84856414129en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage5en
dc.relation.lastpage17en
dc.relation.issue1-2en
dc.relation.volume58en
dc.description.rankM23-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2049-9892-
Show simple item record

SCOPUSTM   
Citations

2
checked on Jun 1, 2024

Page view(s)

27
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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