Linear Logic Maybe?

From: Jan Burse (janburse_at_fastmail.fm)
Date: 02/10/05

  • Next message: Bart Demoen: "Re: Linear Logic Maybe?" 
    Date: Thu, 10 Feb 2005 00:40:52 +0100

    Dear All

    I am working on an algebra for some
    language processing. The language
    processing includes the combination
    of nouns, verbs and adjectives.

    So I came up first with the
    following connectives:

       A & B: Conjunction
       A v B: Disjunction

    And some rules, for example
    disjunctive normal form:

       A & (B v C) --> (A & B) v (A & C)
       etc..

    This works pretty well for some
    language phaenomena. For example
    "roof, window and door", kann be
    modeled by &, and so on.

    Now I was introducing the following
    two connectives:

        A ! B: Composition
        A ? B: Guard

    And the rules are as such:

        A ! (B ! C) --> (A ! B) ! C
        (A & B) ! C --> A ! C & B ! C (i)
        A ! (B & C) --> A ! B & A ! C (ii)
        etc..
        (A ? B) ! C --> (B ! A) & (B ! C) (iii)
        etc..

    This works pretty well for some
    language phaenomena. For example
    "the green door is open" can be
    modelled by (green?door)!open.

    But now, as I dont have any clue
    what algebra this might be, so that
    I can lookup up the algebras properties,
    many questions arise. For example

    1) Does the order of application
        of the rules (i) and (ii) make
        any difference in the normal form?
        (answer = yes, guess why?)

    2) Similar questions in the interaction
        between ? and !, not yet answered
        for my self.

    Any pointers welcome?

    Best Regards 

    ---
Spuntik III
  • Next message: Bart Demoen: "Re: Linear Logic Maybe?"

    Relevant Pages

    • Re: A different definition of MINUS, Part 3
      ... as providing a solution to a language implementation problem. ... but closed for the desired expressions of that language. ... I would assume that a computing model is to be ... algebra and a relational computing model is comparable to the ...
      (comp.databases.theory)
    • Re: A different definition of MINUS, Part 3
      ... There you go again attributing references to language implementation to me ... the algebra is not an essential ... While the name of the relvar no doubt has other significance in ...
      (comp.databases.theory)
    • Linear Logic Maybe
      ... I am working on an algebra for some ... language processing. ... "the green door is open" can be ...
      (sci.logic)
    • Linear Logic Maybe
      ... I am working on an algebra for some ... language processing. ... "the green door is open" can be ...
      (sci.logic)
    • Re: Steps towards writing a computer algebra system
      ... > computer algebra systems (CAS) such as Mathematica. ... Start by writing code to translate algebraic formulas to some useful ... language, for that matter. ...
      (sci.math.symbolic)