Talk:Algebraic semantics (mathematical logic)
Appearance
This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
Why are the mathematical logic page and the computer science pages different?
[edit]Why are there two different pages for algebraic semantics in the two areas, and a disambiguation page between them? Shouldn't they be the same topic? Algebraic semantics — Preceding unsigned comment added by 155.33.131.2 (talk) 14:04, 11 September 2019 (UTC)
- Beats the heck out of me. I added mergeto/mergefrom tags. 67.198.37.16 (talk) 17:49, 28 August 2021 (UTC)
- Let us review the holistic picture of how the “semantics” articles in mathematical logic and computer science are organized in Wikipedia. There is currently an article entitled Semantics, and another entitled Semantics (computer science). See Semantics (disambiguation). Moreover, “It has been suggested that this [Semantics] article be split into multiple articles”, covering different aspects of semantics. Thus, keeping Algebraic semantics (mathematical logic) and Algebraic semantics (computer science) as two separate pages is consistent with the parent articles. -- Laiwoonsiu (talk) 04:34, 8 January 2022 (UTC)
- Oppose since they cover different topics; Algebraic semantics (computer science) covers programming language semantics, while Algebraic semantics (mathematical logic) refers to using (usually variants of Boolean) algebras as semantics for formal logics. Felix QW (talk) 20:31, 19 January 2022 (UTC)
- Closing, given the consensus that the structure is clearer to readers with separate articles. Klbrain (talk) 12:30, 25 September 2022 (UTC)