Araştırma Makalesi
BibTex RIS Kaynak Göster

Yıl 2018, Cilt: 6 Sayı: 1, 1 - 6, 15.04.2018

Selçuk Topal Yasin Akünsoy

Öz

Kaynakça

  • [1] Łukasiewicz, J. 1957. Aristotle's syllogistic from the standpoint of modern formal logic, Oxford University Press Academic Monograph Reprints, 222p.
  • [2] Moss, L.S. 2010. Intersecting adjectives in syllogistic logic. In The Mathematics of Language (pp. 223-237). Springer Berlin Heidelberg.
  • [3] Moss, L.S. 2016. Syllogistic Logic with Cardinality Comparisons. In J. Michael Dunn on Information Based Logics (pp. 391-415). Springer International Publishing.
  • [4] Moss, L.S. and Topal, S. 2017. Syllogistic Logic with Cardinality Comparisons, On Infinite Sets. arXiv preprint arXiv:1705.03037.
  • [5] Topal, S. 2017. Bazı Sillojistik ve Kardinalite Karşılaştırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi, DOI-10. 19113/sdufbed.50072
  • [6] West, D.B., 2001. Introduction to graph theory (Vol. 2). Upper Saddle River: Prentice hall.
  • [7] Van Rossum, G. 2007, June. Python Programming Language. In USENIX Annual Technical Conference (Vol. 41, p. 36).
  • [8] Topal, S. 2017. L(More, IA) Lojiğinin Python Uygulaması. http://pbs.beu.edu.tr/s.topal/docs (Erişim Tarihi: 15.05.2017).
  • [9] Çevik, A. 2012. Hesaplanabilirlik kuramı ve Turing derecelerine giris. Gaziosmanpaşa Bilimsel Araştırma Dergisi, sayı 1, sayfa 1-20.
  • [10] Çevik, A. 2013. Antibasis theorems for classes and the jump hierarchy. Archive for Mathematical Logic, 137-142.
  • [11] Çevik, A. 2016. choice classes. Mathematical Logic Quarterly, 62(6), pp.563-574.

Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’

Yıl 2018, Cilt: 6 Sayı: 1, 1 - 6, 15.04.2018

Selçuk Topal Yasin Akünsoy

Öz

In this paper, we study the logic of language of $ L(More,IA) $. The logic contains the quantifier called ‘’ more ‘’ which makes cardinality comparisons can not be expressed in the language of the first order logic. The sentence forms are basically the form of ‘’There are more y than x .‘’ with x and y being common plural nouns. The sentence forms of common plural nouns combined with intersecting adjectives are ‘’There are more b y than a x.’’ with the intersecting adjectives a and b. We focus on derivation algorithms of the sentences having this type of quantifier and algorithms of construction of counter-models when the derivations are not provided.

Anahtar Kelimeler

Cardinality comparison graph algorithms intersecting adjectives

Kaynakça

  • [1] Łukasiewicz, J. 1957. Aristotle's syllogistic from the standpoint of modern formal logic, Oxford University Press Academic Monograph Reprints, 222p.
  • [2] Moss, L.S. 2010. Intersecting adjectives in syllogistic logic. In The Mathematics of Language (pp. 223-237). Springer Berlin Heidelberg.
  • [3] Moss, L.S. 2016. Syllogistic Logic with Cardinality Comparisons. In J. Michael Dunn on Information Based Logics (pp. 391-415). Springer International Publishing.
  • [4] Moss, L.S. and Topal, S. 2017. Syllogistic Logic with Cardinality Comparisons, On Infinite Sets. arXiv preprint arXiv:1705.03037.
  • [5] Topal, S. 2017. Bazı Sillojistik ve Kardinalite Karşılaştırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine. Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi, DOI-10. 19113/sdufbed.50072
  • [6] West, D.B., 2001. Introduction to graph theory (Vol. 2). Upper Saddle River: Prentice hall.
  • [7] Van Rossum, G. 2007, June. Python Programming Language. In USENIX Annual Technical Conference (Vol. 41, p. 36).
  • [8] Topal, S. 2017. L(More, IA) Lojiğinin Python Uygulaması. http://pbs.beu.edu.tr/s.topal/docs (Erişim Tarihi: 15.05.2017).
  • [9] Çevik, A. 2012. Hesaplanabilirlik kuramı ve Turing derecelerine giris. Gaziosmanpaşa Bilimsel Araştırma Dergisi, sayı 1, sayfa 1-20.
  • [10] Çevik, A. 2013. Antibasis theorems for classes and the jump hierarchy. Archive for Mathematical Logic, 137-142.
  • [11] Çevik, A. 2016. choice classes. Mathematical Logic Quarterly, 62(6), pp.563-574.
Toplam 11 adet kaynakça vardır.

Ayrıntılar

Birincil Dil İngilizce
Konular Mühendislik
Bölüm Articles
Yazarlar

Selçuk Topal 0000-0001-7074-2569

Yasin Akünsoy Bu kişi benim

Yayımlanma Tarihi 15 Nisan 2018
Gönderilme Tarihi 3 Nisan 2018
Kabul Tarihi 6 Nisan 2018
Yayımlandığı Sayı Yıl 2018 Cilt: 6 Sayı: 1

Kaynak Göster

APA Topal, S., & Akünsoy, Y. (2018). Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’. Konuralp Journal of Mathematics, 6(1), 1-6.
AMA Topal S, Akünsoy Y. Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’. Konuralp J. Math. Nisan 2018;6(1):1-6.
Chicago Topal, Selçuk, ve Yasin Akünsoy. “Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’”. Konuralp Journal of Mathematics 6, sy. 1 (Nisan 2018): 1-6.
EndNote Topal S, Akünsoy Y (01 Nisan 2018) Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’. Konuralp Journal of Mathematics 6 1 1–6.
IEEE S. Topal ve Y. Akünsoy, “Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’”, Konuralp J. Math., c. 6, sy. 1, ss. 1–6, 2018.
ISNAD Topal, Selçuk - Akünsoy, Yasin. “Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’”. Konuralp Journal of Mathematics 6/1 (Nisan 2018), 1-6.
JAMA Topal S, Akünsoy Y. Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’. Konuralp J. Math. 2018;6:1–6.
MLA Topal, Selçuk ve Yasin Akünsoy. “Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’”. Konuralp Journal of Mathematics, c. 6, sy. 1, 2018, ss. 1-6.
Vancouver Topal S, Akünsoy Y. Inference Situations, Counter-Model Constructions and A Computer Implementation of A Logic Composed of Intersecting Adjectives and the Quantifier “More’’. Konuralp J. Math. 2018;6(1):1-6.
 Kapak Resmi İndir
Creative Commons License
The published articles in KJM are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.