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

Authors : Selçuk TOPAL

Pages : 942-947

Doi:10.19113/sdufbed.50072

View : 33 | Download : 13

Publication Date : 2017-04-28

Article Type : Research Paper

Abstract :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.
Keywords : Lojik, Doğal dillerin lojiği, Etiketli yönlü çizgeler, Bağıntısal kapanış, Sillojizm, Kardinalite karşılaştırması