12 found
Sort by:
  1. Joyce Friedman (1981). Expressing Logical Formulas in Natural Language. In Jeroen Groenendijk (ed.), Formal Methods in the Study of Language. U of Amsterdam. 113--130.
    No categories
     
    My bibliography  
     
    Export citation  
  2. Joyce Friedman & David S. Warren (1980). Λ-Normal Forms in an Intensional Logic for English. Studia Logica 39 (2-3):311 - 324.
    Montague [7] translates English into a tensed intensional logic, an extension of the typed -calculus. We prove that each translation reduces to a formula without -applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of English phrases have the special property that arguments to functions are modally closed. We then show that formulas in which arguments are modally closed have a unique fully reduced -normal form. As a corollary, translations of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Joyce Friedman (1979). An Unlabeled Bracketing Solution to the Problem of Conjoined Phrases in Montague's PTQ. Journal of Philosophical Logic 8 (1):151 - 169.
    Although Montague claims that the system of The proper treatment of quantification in ordinary English includes some conjunction and disjunction, the rules for other grammatical constructions do not take conjunction or disjunction into account, and in general fail either syntactically or semantically when one of their arguments is so formed. Using an unlabeled bracketing of syntactic structure and recursive definitions, we have been able to rewrite the rules so that correct results are obtained.These results should provide a firmer basis for (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Joyce Friedman & David S. Warren (1979). Erratum. Linguistics and Philosophy 3 (1):139 -.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Joyce Friedman & David S. Warren (1978). A Parsing Method for Montague Grammars. Linguistics and Philosophy 2 (3):347 - 372.
    The main result in this paper is a method for obtaining derivation trees from sentences of certain formal grammars. No parsing algorithm was previously known to exist for these grammars.Applied to Montague's PTQ the method produces all parses that could correspond to different meanings. The technique directly addresses scope and reference and provides a framework for examining these phenomena. The solution for PTQ is implemented in an efficient and useful computer program.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Joyce Friedman (1974). Review: Hao Wang, Wayne A. Kalenich, Formalization and Automatic Theorem-Proving. [REVIEW] Journal of Symbolic Logic 39 (2):350-350.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Joyce Friedman (1973). A Computational Treatment of Case Grammar. In. In Jaakko Hintikka (ed.), Approaches to Natural Language. D. Reidel Publishing. 134--152.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Joyce Friedman (1973). Review: Bruce Kallick, A Decision Procedure Based on the Resolution Method. [REVIEW] Journal of Symbolic Logic 38 (4):656-656.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Joyce Friedman (1969). Review: Michael O. Rabin, Hao Wang, Words in the History of a Turing Machine with a Fixed Input. [REVIEW] Journal of Symbolic Logic 34 (3):508-508.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Joyce Friedman (1967). Review: B. Dunham, R. Fridshal, G. L. Sward, A Non-Heuristic Program for Proving Elementary Logical Theorems; B. Dunham, R. Fridshal, J. H. North, Exploratory Mathematics by Machine; B. Dunham, J. H. North, Theorem Testing by Computer. [REVIEW] Journal of Symbolic Logic 32 (2):266-266.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Joyce Friedman (1963). Review: Alonzo Church, Application of Recursive Arithmetic to the Problem of Circuit Synthesis. [REVIEW] Journal of Symbolic Logic 28 (4):289-290.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Joyce Friedman (1957). Some Results in Church's Restricted Recursive Arithmetic. Journal of Symbolic Logic 22 (4):337-342.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation