Results for 'Stergios Chatzikyriakidis'

(not author) ( search as author name )
9 found
Order:
  1.  17
    Adjectival and Adverbial Modification: The View From Modern Type Theories.Stergios Chatzikyriakidis & Zhaohui Luo - 2017 - Journal of Logic, Language and Information 26 (1):45-88.
    In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  63
    Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
    In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  2
    A Computational Treatment of Anaphora and Its Algorithmic Implementation.Jean-Philippe Bernardy, Stergios Chatzikyriakidis & Aleksandre Maskharashvili - 2021 - Journal of Logic, Language and Information 30 (1):1-29.
    In this paper, we propose a framework capable of dealing with anaphora and ellipsis which is both general and algorithmic. This generality is ensured by the compination of two general ideas. First, we use a dynamic semantics which reperent effects using a monad structure. Second we treat scopes flexibly, extending them as needed. We additionally implement this framework as an algorithm which translates abstract syntax to logical formulas. We argue that this framework can provide a unified account of a large (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4.  4
    Underspecification, Parsing Mismatches and Routinisation: The Historical Development of the Clitic Systems of Greek Dialects.Stergios Chatzikyriakidis - 2020 - Journal of Logic, Language and Information 30 (2):277-304.
    In this paper, the historical development of the clitic systems of Standard Modern, Cypriot and Pontic Greek is discussed. These three varieties not only present the whole range of variation one can find across clitic systems in Greek but, furthermore, derive from a common linguistic ancestor, i.e. Koine Greek. This paper argues that the transition from Koine Greek to the Medieval varieties and from the Medieval varieties to the respective modern ones can be explained by making the assumption that routinisation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    Mechanisms for Interaction: Syntax as Procedures for Online Interactive Meaning Building.Ruth Kempson, Stergios Chatzikyriakidis & Ronnie Cann - 2016 - Behavioral and Brain Sciences 39.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  19
    The Impact of Religiosity on Audit Pricing.Stergios Leventis, Emmanouil Dedoulis & Omneya Abdelsalam - 2018 - Journal of Business Ethics 148 (1):53-78.
    Prior literature has demonstrated that religiosity is associated with a reduced acceptance of unethical business practices and financial reporting irregularities. On this premise, we examine whether religiosity, conceptualized as the degree of adherence to religious norms in the geographical area where a firm’s headquarters is located, has an impact on audit firms’ pricing decisions in the US. We measure the intensity of religiosity by the number of adherents relative to the total population in a county and demonstrate that increased religious (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  10
    Commentary: Viewing Photos and Reading Nouns of Natural Graspable Objects Similarly Modulate Motor Responses.Stergios Makris - 2015 - Frontiers in Human Neuroscience 9.
  8. Crimen Publicum, Poena Forensis: Reassessing Kant's Theory of Criminal Law, in Line with Contemporary Philosophy of Punishment Debates.Stergios Mitas - 2020 - Archiv Fuer Rechts Und Sozialphilosophie 106 (4):554-562.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  15
    Sport Neuroscience Revisited : A Commentary.Stergios Makris - 2014 - Frontiers in Human Neuroscience 8.