תקציר
The game method is a non-standard method for computing the truth value of a given sentence in a given structure. This method is applicable on sentences of prenex form. We remark that every sentence can be presented in a prenex form.
שפה מקורית | אנגלית |
---|---|
עמודים (מ-עד) | 263-266 |
מספר עמודים | 4 |
כתב עת | Advances and Applications in Discrete Mathematics |
כרך | 25 |
מספר גיליון | 2 |
מזהי עצם דיגיטלי (DOIs) | |
סטטוס פרסום | פורסם - 2020 |