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

Yıl: 2017 Cilt: 21 Sayı: 3 Sayfa Aralığı: 942 - 947 Metin Dili: Türkçe DOI: 10.19113/sdufbed.50072 İndeks Tarihi: 28-11-2018

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

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

On Properties of Algebraic and Labeled Graph Theoretical of Derivations of Some Logics of Syllogistic and Cardinality Comparisons

Öz:
This paper presents labeled digraph representations of logics of All, Some, No, More and At Least by using algebraic properties of derivations of the logics. The logics of All, Some and No come from the Aristotalian syllogisms. The syllogisms contain sentence forms of All p are q, Some p are q, No p are q where p and q are plural nouns. The logics of At least and More have respectively the form of “There are at least as many p as q” and “There are more p than q” where p and q are plural nouns. Especially, labeled digraph representations of logics of At least and More are a crucial position since languages of the logics are not expressible in first order language.
Anahtar Kelime:

Belge Türü: Makale Makale Türü: Araştırma Makalesi Erişim Türü: Erişime Açık
  • Moss, Lawrence S. 2008. Completeness theorems for syllogistic fragments. Logics for linguistic structures, 29: 143-173s
  • Champin, P. A., Solnon C. 2003. Measuring the Similarity of Labeled Graphs, Case-Based Reasoning Research and Development, K. Ashley and D. Bridge, Springer Berlin Heidelberg, 2689: 80-95s.
  • Bang-Jensen, J., Gregory G. 2000. Digraphs, Theory: Algorithms and Applications, Springer Verlag, 798s.
  • Iyanaga, S., Kawada, Y. 1980. Encyclopedic Dictionary of Mathematics, MIT Press, Cambridge, MA, 1005s.
  • Velleman D. J. 2006 How to Prove It: A Structured Approach, 2nd Edition, Cambridge University Press, England, 384s.
  • Moss, Lawrence S. 2016. Syllogistic Logic with Cardinality Comparisons. In: J. Michael Dunn on Information Based Logics. Springer International Publishing, 391-415s.
  • Smith, R. 1989. Aristotle: Prior Analytics, translated with introduction notes and commentary, Indianapolis, Hackett, 265s.
  • Miller, G. A. 1995. WordNet: a lexical database for English, Communications of the ACM, 38(11): 39- 41s.
APA Topal S (2017). Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. , 942 - 947. 10.19113/sdufbed.50072
Chicago Topal Selçuk Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. (2017): 942 - 947. 10.19113/sdufbed.50072
MLA Topal Selçuk Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. , 2017, ss.942 - 947. 10.19113/sdufbed.50072
AMA Topal S Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. . 2017; 942 - 947. 10.19113/sdufbed.50072
Vancouver Topal S Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. . 2017; 942 - 947. 10.19113/sdufbed.50072
IEEE Topal S "Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine." , ss.942 - 947, 2017. 10.19113/sdufbed.50072
ISNAD Topal, Selçuk. "Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine". (2017), 942-947. https://doi.org/10.19113/sdufbed.50072
APA Topal S (2017). Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 21(3), 942 - 947. 10.19113/sdufbed.50072
Chicago Topal Selçuk Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi 21, no.3 (2017): 942 - 947. 10.19113/sdufbed.50072
MLA Topal Selçuk Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi, vol.21, no.3, 2017, ss.942 - 947. 10.19113/sdufbed.50072
AMA Topal S Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi. 2017; 21(3): 942 - 947. 10.19113/sdufbed.50072
Vancouver Topal S Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi. 2017; 21(3): 942 - 947. 10.19113/sdufbed.50072
IEEE Topal S "Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine." Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 21, ss.942 - 947, 2017. 10.19113/sdufbed.50072
ISNAD Topal, Selçuk. "Bazı Sillojistik ve Kardinalite Kar¸sıla¸stırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine". Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi 21/3 (2017), 942-947. https://doi.org/10.19113/sdufbed.50072