Bazı Sillojistik ve Kardinalite Karşılaştırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine

Bu makale, \textit{All, Some, No, More} ve \textit{At Least} lojiklerinin türetimlerinin cebirsel özelliklerini kullanarak bu lojiklerin etiketli yönlü çizge temsillerini sunar. \textit{All, Some} ve \textit{No} lojikleri Aristo sillojizmlerinden gelmektedir. Sillojizmler  \textit{p} ve \textit{q} çoğul isimler olmak üzere \textit{All p are q}, \textit{Some p are q}, \textit{No p are q} cümle formlarını içerir. \textit{At least} and \textit{More} lojikleri \textit{p} ve \textit{q} çoğul isimler olmak üzere sırasıyla  \textquotedblleft \textit{En az q kadar p vardır}\textquotedblright\: ve \textquotedblleft\textit{q dan daha fazla p vardır}\textquotedblright\: formlarındadırlar. Özellikle, \textit{At least} ve \textit{More} lojiklerin dilleri birinci mertebe dilde ifade edilemez olduğu için etiketli yönlü çizge temsilleri önemli bir konumdadır.