22 found
Order:
  1.  26
    Freyd Peter. The Theories of Functors and Models. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  16
    Henri Moscovici and Dan Radu. Application de la Théorie des Catégories Dans la Logique Formelle. Revue Roumaine de Mathématiques Pures Et Appliquées, Vol. 9 , Pp. 971–977. [REVIEW]Anne Preller - 1970 - Journal of Symbolic Logic 35 (2):329.
  3.  21
    Toward Discourse Representation Via Pregroup Grammars.Anne Preller - 2007 - Journal of Logic, Language and Information 16 (2):173-194.
    Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore, a semantical interpretation is independent of the order of the associated logic. Lexical entries are read as expressions in a two sorted predicate logic with ∈ and functional symbols. The parsing of a sentence defines a substitution that combines the expressions associated to the individual words. The resulting variable free formula is the translation of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  10
    Aubert Daigneault. Introduction. Studies in Algebraic Logic, Edited by Aubert Daigneault, Studies in Mathematics, Vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, Pp. 1–5. - William Craig. Unification and Abstraction in Algebraic Logic. Studies in Algebraic Logic, Edited by Aubert Daigneault, Studies in Mathematics, Vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, Pp. 6–57. - J. Donald Monk. Connections Between Combinatorial Theory and Algebraic Logic. Studies in Algebraic Logic, Edited by Aubert Daigneault, Studies in Mathematics, Vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, Pp. 58–91. - Helena Rasiowa. Post Algebras as a Semantic Foundation of M-Valued Logics. Studies in Algebraic Logic, Edited by Aubert Daigneault, Studies in Mathematics, Vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, Pp. 92–142. - Gonzalo E. Reyes. From Sheaves to Logic. Studies in Algebraic Logic, Edited B. [REVIEW]Anne Preller - 1978 - Journal of Symbolic Logic 43 (1):145-147.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Freyd Peter. The Theories of Functors and Models. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    S. R. Kogalovskij. Univérsal'nyé Klassy Modéléj . Doklady Akadémii Nauk SSSR, Vol. 124 , Pp. 260–263. - Tadashi Ohkuma. Ultrapowers in Categories. The Yokohama Mathematical Journal, Vol. 14 Nos. 1–2 , Pp. 17–37. [REVIEW]Anne Preller - 1972 - Journal of Symbolic Logic 37 (2):402.
  7.  47
    Efficiency of Pregroups and the French Noun Phrase.Sylvain Degeilh & Anne Preller - 2005 - Journal of Logic, Language and Information 14 (4):423-444.
    We study mathematical and algorithmic properties of Lambek's pregroups and illustrate them by the French noun phrase. An algorithm of complexity n3 to solve the reduction problem in an arbitrary free pregroup as well as recognition by a pregroup grammar is presented. This algorithm is then specified to run in linear time. A sufficient condition for a language fragment that makes the linear algorithm complete is given.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  33
    Linear Processing with Pregroups.Anne Preller - 2007 - Studia Logica 87 (2-3):171-197.
    Pregroup grammars have a cubic recognition algorithm. Here, we define a correct and complete recognition and parsing algorithm and give sufficient conditions for the algorithm to run in linear time. These conditions are satisfied by a large class of pregroup grammars, including grammars that handle coordinate structures and distant constituents.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  37
    Lawvere's Basic Theory of the Category of Categories.Georges Blanc & Anne Preller - 1975 - Journal of Symbolic Logic 40 (1):14-18.
  10.  24
    An Interpretation of Martin-Löf's Constructive Theory of Types in Elementary Topos Theory.Anne Preller - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):213-240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  49
    Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.
    We show that vector space semantics and functional semantics in two-sorted first order logic are equivalent for pregroup grammars. We present an algorithm that translates functional expressions to vector expressions and vice-versa. The semantics is compositional, variable free and invariant under change of order or multiplicity. It includes the semantic vector models of Information Retrieval Systems and has an interior logic admitting a comprehension schema. A sentence is true in the interior logic if and only if the ‘usual’ first order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  34
    Editorial Introduction.Wojciech Buszkowski & Anne Preller - 2007 - Studia Logica 87 (2-3):139-144.
  13.  16
    An Interpretation of Martin‐Löf's Constructive Theory of Types in Elementary Topos Theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
    We give a formal interpretation of Martin-Löf's Constructive Theory of Types in Elementary Topos Theory which is presented as a formalised theory with intensional equality of objects. Types are interpreted as arrows and variables as sections of their types. This is necessary to model correctly the working of the assumption x ∈ A. Then intensional equality interprets equality of types. The normal form theorem which asserts that the interpretation of a type is intensional equal to the pullback of its “alignment” (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Rasiowa Helena. An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics, Vol. 78. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, Xv + 403 Pp. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
  15.  5
    Natural Language Semantics in Biproduct Dagger Categories.Anne Preller - 2014 - Journal of Applied Logic 12 (1):88-108.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  8
    Review: Henri Moscovici, Dan Radu, Application de la Theorie des Categories Dans la Logique Formelle. [REVIEW]Anne Preller - 1970 - Journal of Symbolic Logic 35 (2):329-329.
  17.  6
    The Universe of Discourse of Modal Logic.Anne Preller - 1996 - Journal of Applied Non-Classical Logics 6 (2):137-147.
    ABSTRACT A new notion of model is presented which makes the Barcan formula and its converse hold in arbitrary frames without requiring constant, increasing or decreasing domains. Soundness and completeness of first order K is established for this class of new models. The failure of reasoning by substitution known as ? opacity ? is explained. An existenc predicate makes it possible to distinguish between actual and possible elements. The connections with the restricted Barcan formula are considered.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    Review: Helena Rasiowa, An Algebraic Approach to Non-Classical Logics. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
  19.  4
    Review: S. R. Kogalovskij, Universal Classes of Models; Tadashi Ohkuma, Ultrapowers in Categories. [REVIEW]Anne Preller - 1972 - Journal of Symbolic Logic 37 (2):402-402.
  20.  4
    Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
  21.  4
    Review: Peter Freyd, The Theories of Functors and Models. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-336.
  22.  4
    Review: Aubert Daigneault, Studies in Algebraic Logic. [REVIEW]Anne Preller - 1978 - Journal of Symbolic Logic 43 (1):145-147.