User talk:Maximo.marcos

some usage conventions
Hello.

Please notice my recent edits to the two articles that you created. One of them began like this:
 * A technique for resolution proof reduction via local context rewriting was proposed by Simone Rollini, Roberto Bruttomesso and Natasha Sharygina in their paper "An Efficient and Flexible Approach to Resolution Proof Reduction"[1].
 * A technique for resolution proof reduction via local context rewriting was proposed by Simone Rollini, Roberto Bruttomesso and Natasha Sharygina in their paper "An Efficient and Flexible Approach to Resolution Proof Reduction"[1].

Now it says this:
 * In proof theory, an area of mathematical logic, resolution proof reduction via local context rewriting is a technique for resolution proof reduction via local context rewriting was proposed by Simone Rollini, Roberto Bruttomesso and Natasha Sharygina in their paper "An Efficient and Flexible Approach to Resolution Proof Reduction"[1].
 * In proof theory, an area of mathematical logic, resolution proof reduction via local context rewriting is a technique for resolution proof reduction via local context rewriting was proposed by Simone Rollini, Roberto Bruttomesso and Natasha Sharygina in their paper "An Efficient and Flexible Approach to Resolution Proof Reduction"[1].

One point here is that the lay reader needs to be told at the outset that mathematical logic is what the article is about. "Proof theory" won't do: the lay reader has never heard of that. Another point is that the title phrase should be set in bold at its first appearance, usually in the first sentence of the article. Michael Hardy (talk) 18:05, 4 April 2012 (UTC)