THE GAME METHOD

A Jarden

doi:10.17654/DM025020263

THE GAME METHOD

A Jarden

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	263-266
Number of pages	4
Journal	Advances and Applications in Discrete Mathematics
Volume	25
Issue number	2
DOIs	https://doi.org/10.17654/DM025020263
State	Published - 2020

Keywords

truth value
semantics
first order logic

Access to Document

10.17654/DM025020263

Cite this

@article{1c89720dd1d3457da4852d2a8427cea3,

title = "THE GAME METHOD",

abstract = "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.",

keywords = "truth value, semantics, first order logic",

author = "A Jarden",

note = "Times Cited in Web of Science Core Collection: 1 Total Times Cited: 1 Cited Reference Count: 4",

year = "2020",

doi = "10.17654/DM025020263",

language = "אנגלית",

volume = "25",

pages = "263--266",

journal = "Advances and Applications in Discrete Mathematics",

issn = "0974-1658",

number = "2",

}

TY - JOUR

T1 - THE GAME METHOD

AU - Jarden, A

N1 - Times Cited in Web of Science Core Collection: 1 Total Times Cited: 1 Cited Reference Count: 4

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

KW - truth value

KW - semantics

KW - first order logic

U2 - 10.17654/DM025020263

DO - 10.17654/DM025020263

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

SN - 0974-1658

VL - 25

SP - 263

EP - 266

JO - Advances and Applications in Discrete Mathematics

JF - Advances and Applications in Discrete Mathematics

IS - 2

ER -

THE GAME METHOD

Abstract

Keywords

Access to Document

Fingerprint

Cite this