Proof nets for MLL (unit-free Multiplicative Linear Logic) are concise graphical representations of proofs which are canonical in the sense that they abstract away syntactic redundancy such as the order of non-interacting rules. We argue that Girard's extension to MLL1 (first-order MLL) fails to be canonical because of redundant existential witnesses, and present canonical MLL1 proof nets calle...

The chromosome numbers and karyotypes of eight species the genus Allium distributed in Turkey were analyzed. These taxa are A. armerioides Boiss., orientale stamineum tuncelianum (Kollmann) Özhatay, B.Mathew & Şiraneci, subakaka Razyfard Zarre, muratozelii Armağan, dumanii Koyuncu Koçyiğit colchicifolium Boiss. Four them (A. armerioides, tuncelianum, dumanii) endemic Turkey. all studied determi...

A new combination in the rank of subspecies, Campanula tridentata Schreb. subsp. ruprechtii (Boiss.) Ogan., distributed Armenia, Nakhchivan Republic and Iran is published. The lectotype name designated.