Talk:Positive formula

Latest revision as of 14:31, 14 March 2009

How to deal with negative formulas and negative connectives?

stupid duplication of the page for positive ones?
definition by duality from positive and reuse of results given in the positive formula page?
integration inside the positive formula page and redirection?

-- Olivier Laurent 22:12, 8 March 2009 (UTC)

Revision as of 23:12, 8 March 2009 (view source) Olivier Laurent (Talk \| contribs) (Negative formula)		Latest revision as of 14:31, 14 March 2009 (view source) Olivier Laurent (Talk \| contribs) m (→‎Negative formula: signature syntax)
Line 6:		Line 6:
	* integration inside the positive formula page and redirection?		* integration inside the positive formula page and redirection?

−	[[User:Olivier Laurent\|Olivier Laurent]] 22:12, 8 March 2009 (UTC)	+	-- [[User:Olivier Laurent\|Olivier Laurent]] 22:12, 8 March 2009 (UTC)