Year:

  1.  1
    A Constructive Solution to the Ranking Problem in Partial Order Optimality Theory.Alex J. Djalali - 2017 - Journal of Logic, Language and Information 26 (2):89-108.
    Partial order optimality theory is a conservative generalization of classical optimality theory that makes possible the modeling of free variation and quantitative regularities without any numerical parameters. Solving the ranking problem for PoOT has so far remained an outstanding problem: allowing for free variation, given a finite set of input/output pairs, i.e., a dataset, \ that a speaker S knows to be part of some language L, how can S learn the set of all grammars G under some constraint set (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  2
    In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals.D. Koutras Costas & Rantsoudis Christos - 2017 - Journal of Logic, Language and Information 26 (2):109-141.
    Defeasible conditionals are statements of the form ‘ifAthen normallyB’. One plausible interpretation introduced in nonmonotonic reasoning dictates that ) is true iff B is true in ‘most’ A-worlds. In this paper, we investigate defeasible conditionals constructed upon a notion of ‘overwhelming majority’, defined as ‘truth in a cofinite subset of\’, the first infinite ordinal. One approach employs the modal logic of the frame \\), used in the temporal logic of discrete linear time. We introduce and investigate conditionals, defined modally over (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    What Makes an Effective Representation of Information: A Formal Account of Observational Advantages.Gem Stapleton, Mateja Jamnik & Atsushi Shimojima - 2017 - Journal of Logic, Language and Information 26 (2):143-177.
    In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization of the observational advantages of one representation of information over another. By considering observational advantages, people will be able to make better informed choices of representations of information. To demonstrate the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  2
    Language-Theoretic and Finite Relation Models for the Lambek Calculus.Christian Wurm - 2017 - Journal of Logic, Language and Information 26 (2):179-214.
    We prove completeness for some language-theoretic models of the full Lambek calculus and its various fragments. First we consider syntactic concepts and syntactic concepts over regular languages, which provide a complete semantics for the full Lambek calculus \. We present a new semantics we call automata-theoretic, which combines languages and relations via closure operators which are based on automaton transitions. We establish the completeness of this semantics for the full Lambek calculus via an isomorphism theorem for the syntactic concepts lattice (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  3
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  5
    A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
    The paper introduces a proof-theoretic semantics for adjectival modification as an alternative to the traditional model-theoretic semantics basing meaning on truth-conditions. The paper considers the proof-theoretic meaning of modification by means of the three traditional adjective classes: intersective, subsective and privative. It does so by introducing a meaning-conferring natural-deduction proof system for such modification. The PTS theory of meaning is not polluted by ontological commitments, for example, a scale for beauty and a yardstick for being beautiful. It only uses syntactic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  4
    Set Partitions and the Meaning of the Same.R. Zuber - 2017 - Journal of Logic, Language and Information 26 (1):1-20.
    It is shown that the notion of the partition of a set can be used to describe in a uniform way the meaning of the expression the same, in its basic uses in transitive and ditransitive sentences. Some formal properties of the function denoted by the same, which follow from such a description are indicated. These properties indicate similarities and differences between functions denoted by the same and generalised quantifiers.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues