Switch to: References

Add citations

You must login to add citations.
  1. Connexive Restricted Quantification.Nissim Francez - 2020 - Notre Dame Journal of Formal Logic 61 (3):383-402.
    This paper investigates the meaning of restricted quantification when the embedded conditional is taken as the conditional of some first-order connexive logics. The study is carried out by checking the suitability of RQ for defining a connexive class theory, in analogy to the definition of Boolean class theory by using RQ in classical logic. Negative results are obtained for Wansing’s first-order connexive logic QC and one variant of Priest’s first-order connexive logic QP. A positive result is obtained for another variant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Proof-Theoretic Semantics for Natural Language.Nissim Francez - 2021 - Topoi 40 (1):55-69.
    The paper has two parts: 1. A brief exposition of proof-theoretic semantics, not necessarily in connection to natural language. 2. A review, with a contrastive flavour, of some of the applications of PTS to NL with an indication of advantages of PTS as a theory of meaning for NL.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • A Three-Valued Quantified Argument Calculus: Domain-Free Model-Theory, Completeness, and Embedding of Fol.Ran Lanzet - 2017 - Review of Symbolic Logic 10 (3):549-582.
    Download  
     
    Export citation  
     
    Bookmark   1 citation