A measure of logical inference and its game theoretical applications (Q3094002)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5960553
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A measure of logical inference and its game theoretical applications |
scientific article; zbMATH DE number 5960553 |
Statements
A Measure of Logical Inference and Its Game Theoretical Applications (English)
0 references
19 October 2011
0 references
classical logic
0 references
intuitionistic logic
0 references
Gentzen-style sequent calculus
0 references
game theoretic decision making
0 references
0.7304405570030212
0 references
0.7304402589797974
0 references
0.7271996140480042
0 references
0.7044151425361633
0 references
