Jump to content

Talk:Algebraic semantics (computer science)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Laiwoonsiu (talk | contribs) at 10:00, 8 January 2022 (Provided holistic picture of "semantics" pages in Wikipedia to help decide whether to merge the two "Algebraic semantics" articles.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
WikiProject iconComputer science Stub‑class Low‑importance
WikiProject iconThis article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
StubThis article has been rated as Stub-class on Wikipedia's content assessment scale.
LowThis article has been rated as Low-importance on the project's importance scale.
Things you can help WikiProject Computer science with:

Why are there two "algebraic semantics" articles?

I cannot begin to imagine where there are two articles on this topic: Algebraic semantics (computer science) and Algebraic semantics (mathematical logic) -- aren't these two exactly one and the same thing? How can they be possibly be different? 67.198.37.16 (talk) 17:44, 28 August 2021 (UTC)[reply]

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 [the Semantics] article be split into multiple articles”, covering different aspects of semantics. Thus, keeping Algebraic semantics (computer science) and Algebraic semantics (mathematical logic) as two separate pages is consistent with the parent articles. -- Laiwoonsiu (talk) 09:59, 8 January 2022 (UTC)[reply]