Talk:Logic System

This article was nominated for deletion on 16 November 2006. The result of the discussion was Redirect to formal system.

Questions on this article:

1. What is the correct name for the concept? (Hyphenation is very unlikely to be correct.)
2. Has anyone other than Mr. Herrmann (aka User:Raherrmann) used this precise formulation? (If not, it's WP:OR, even if it's otherwise acceptable.)
3. What is the distinction between this concept and the general concept of a finitary closure operator, defined inductively by:

   C(X) is the "limit" (union) of X_i, where:

   ${\displaystyle X_{0}=X\ }$, and

   ${\displaystyle X_{i+1}=X_{i}\cup \{y|(\exists R\in \mathbf {RI(L)} )(\exists x_{0},x_{1},\ldots ,x_{k}\in X_{i})(x_{0},x_{1},\ldots ,x_{k},y)\in R\}}$

— Arthur Rubin | (talk) 19:37, 16 November 2006 (UTC)Reply

FYI, the article wouldn't be considered "original research" if it's based on material published by an accepted mathematical publication with appropriate peer review. You might argue that the material duplicates another article, and therefore the articles should be merged, but the "original research" criteria wouldn't apply if it's appeared in external verifiable publications. Dugwiki 20:39, 16 November 2006 (UTC)Reply

To be sure this is not original research in the everyday sense of those words. The math is old hat and more commonly known as a formal system (though as Arthur Rubin points out, the formal construction being employed is even more general than that). I think we should just redirect to formal system. Henning Makholm 21:38, 16 November 2006 (UTC)Reply