|
Game Semantics or Linear Logic? (712 words) |
 | Logical operators are understood as operations on such tasks/resources/games, atoms as variables ranging over tasks/resources/games, and validity of a logical formula as existence of a machine that always (under every particular intretpretation of atoms and against any possible behavior by the environment) successfully accomplishes/provides/wins the task/resource/game represented by the formula. |
| With this semantics, computability logic is a formal theory of computability in the same sense as classical logic is a formal theory of truth. |
| Computability logic starts with a mathematically strict and intuitively convincing semantics, and only after that, as a natural second step, asks the question about what the corresponding logic and its axiomatizations (syntax) are. |
Feeds |
Contact