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.
Lojik Doğal dillerin lojiği; Etiketli yönlü çizgeler; Bağıntısal kapanış; Sillojizm; Kardinalite karşılaştırması
Journal Section | Articles |
---|---|
Authors | |
Publication Date | April 28, 2017 |
Published in Issue | Year 2017 Volume: 21 Issue: 3 |
e-ISSN :1308-6529
Linking ISSN (ISSN-L): 1300-7688
All published articles in the journal can be accessed free of charge and are open access under the Creative Commons CC BY-NC (Attribution-NonCommercial) license. All authors and other journal users are deemed to have accepted this situation. Click here to access detailed information about the CC BY-NC license.