Timeline for value (element of an algebra), constant, variable, ground and non-ground terms, free algebras : there is a need for clarification
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2021 at 15:00 | comment | added | Baudouin Le Charlier | Thank you Dexter. I understand that you suggest that I should redefine most basic notions that I need from the start to avoid the terminology problem. I will do so. However there is a big risk that some reviewers critisize the fact that I do not stick to standard terminology. I have some trouble with this notion of a ground equation, especially when the equation contains "uninterpreted constants", which, in my understanding, are the same thing as "universally quantified variables". | |
| Apr 13, 2021 at 13:21 | review | First posts | |||
| Apr 13, 2021 at 15:07 | |||||
| Apr 13, 2021 at 13:12 | history | answered | Dexter Kozen | CC BY-SA 4.0 |