Exploració per tema "Invariant (mathematics)"

Ara es mostren els items 1-1 de 1

    • A count invariant for Lambek calculus with additives and bracket modalities 

      Valentín Fernández Gallart, José Oriol; Serret, Daniel; Morrill, Glyn (Springer-Verlag Berlin Heidelberg, 2013)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      The count invariance of van Benthem (1991) is that for a sequent to be a theorem of the Lambek calculus, for each atom, the number of positive occurrences equals the number of negative occurrences. (The same is true ...