Talk:Polarized linear logic

From LLWiki
Jump to: navigation, search

Positive and negative formula

The notion of positive and negative formulas in polarized linear logic is a restriction of the more general one from linear logic. The relation might have to be clarified.

As mentioned in Talk:Positive_formula, we should also decide how to deal with the two dual notions.

Olivier Laurent 08:24, 5 October 2011 (UTC)

Stoup

I am not sure I like the presentation with a stoup. I prefer to see the at most one formula property as a lemma consequence of the definition of the rules.

But maybe I am too much a fundamentalist in this topic ...

Olivier Laurent 08:25, 5 October 2011 (UTC)

Personal tools