Results for 'Nissim Francez'

5 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   31 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   23 citations  
  3. Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
    This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules (...)
    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  
     
    Export citation  
     
    Bookmark  
  5.  44
    Proof-Theoretic Semantics and the Interpretation of Atomic Sentences.Preston Stovall - 2020 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. Rickmansworth: College Publications. pp. 163-178.
    This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.
    Download  
     
    Export citation  
     
    Bookmark