Results for 'Nissim Francez'

4 found
Order:
See also
Nissim Francez
Technion, Israel Institute of Technology
  1. A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
    In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  2. Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  3.  46
    Bilateral Harmony.Nils Kürbis - manuscript
    This paper formulates a bilateral account of harmony, which is an alternative to the one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading some of the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. Thus the consequences of asserting a formula give grounds for denying it, namely if the opposite speech act is applied (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Hermeneutica Bibliothecaria – Antologie Philobiblon (IV).V. István Király - 2009 - Cluj-Napoca, Romania:
    Cuprins CONTUR Re-Introducere sau: Dincolo de „teoria şi practica” informării şi documentării – Spre o hermeneutică posibilă şi necesară Proiectul şi Programul PHILOBIBLON( în noua formulare) FOCUS Dana Stana, Omonimia şi paronimia în bibliologie Victoria Frâncu, Profesia de bibliotecar la graniţa dintre spaţiul bibliotecii şi ciberspaţiu Olimpia Curta, Laboratorul de informatică şi profesioniştii săi Ionel Enache, Fundamentele teoretice ale marketingului de bibliotecă Maria Petrescu, Bibliotecile digitale şi impactul lor asupra tinerilor Adriana Szekely, Liana Grigore, Bibliorev – în continuă schimbare István (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark