| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Došen, Kosta | en |
| dc.contributor.author | Petrić, Zoran | en |
| dc.date.accessioned | 2020-04-12T18:10:33Z | - |
| dc.date.available | 2020-04-12T18:10:33Z | - |
| dc.date.issued | 2011-07-01 | en |
| dc.identifier.issn | 0022-4049 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/334 | - |
| dc.description.abstract | Positive modalities in S4, S5 and systems in their vicinity are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited. | en |
| dc.publisher | Elsevier | - |
| dc.relation.ispartof | Journal of Pure and Applied Algebra | en |
| dc.title | Coherence for modalities | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1016/j.jpaa.2010.09.014 | en |
| dc.identifier.scopus | 2-s2.0-79951679057 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 1606 | en |
| dc.relation.lastpage | 1628 | en |
| dc.relation.issue | 7 | en |
| dc.relation.volume | 215 | en |
| dc.description.rank | M22 | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.openairetype | Article | - |
| item.cerifentitytype | Publications | - |
| item.fulltext | No Fulltext | - |
| item.grantfulltext | none | - |
| crisitem.author.orcid | 0000-0003-2049-9892 | - |
SCOPUSTM
Citations
4
checked on Nov 23, 2024
Page view(s)
24
checked on Nov 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.