Switch to: Citations

Add references

You must login to add references.
  1. Categorial grammars determined from linguistic data by unification.Wojciech BuszKowski & Gerald Penn - 1990 - Studia Logica 49 (4):431 - 454.
    We provide an algorithm for determining a categorial grammar from linguistic data that essentially uses unification of type-schemes assigned to atoms. The algorithm presented here extends an earlier one restricted to rigid categorial grammars, introduced in [4] and [5], by admitting non-rigid outputs. The key innovation is the notion of an optimal unifier, a natural generalization of that of a most general unifier.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Leibniz' Theory of Relations.Massimo Mugnai - 1992 - Revue de Métaphysique et de Morale 99 (1):110-111.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Elements of logic.Richard Whately - 1990 - Revue Philosophique de la France Et de l'Etranger 180 (4):720-720.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Essays in Logical Semantics.Johan van Benthem - 1988 - Studia Logica 47 (2):172-173.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  • (2 other versions)Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
    Download  
     
    Export citation  
     
    Bookmark   390 citations  
  • Symbolic Logic.John Venn - 1881 - Mind 6 (24):574-581.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Augustus De Morgan and the Logic of Relations.Daniel D. Merrill - 1990 - Dordrecht, Netherland: Springer.
    The middle years of the nineteenth century saw two crucial develop ments in the history of modern logic: George Boole's algebraic treat ment of logic and Augustus De Morgan's formulation of the logic of relations. The former episode has been studied extensively; the latter, hardly at all. This is a pity, for the most central feature of modern logic may well be its ability to handle relational inferences. De Morgan was the first person to work out an extensive logic of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Principles of Science. A Treatise on Logic and Scientific Method.W. Stanley Jevons - 1960 - British Journal for the Philosophy of Science 11 (43):260-261.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Termini Obliqui and the Logic of Relations.Paul Thom - 1977 - Archiv für Geschichte der Philosophie 59 (2):143-155.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On De Morgan's argument.Daniel D. Merrill - 1977 - Notre Dame Journal of Formal Logic 18 (1):133-139.
    Download  
     
    Export citation  
     
    Bookmark   3 citations