|
|
books
| book details |
Justification Logic: Reasoning with Reasons
By (author) Sergei Artemov, By (author) Melvin Fitting
|
| on special |
normal price: R 4 987.95
Price: R 4 488.95
|
| book description |
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.
| product details |
Normally shipped |
Publisher | Cambridge University Press
Published date | 2 May 2019
Language |
Format | Hardback
Pages | 268
Dimensions | 235 x 156 x 19mm (L x W x H)
Weight | 500g
ISBN | 978-1-1084-2491-2
Readership Age |
BISAC | mathematics / logic
| other options |
Normally shipped |
Readership Age |
Normal Price | R 5 483.95
Price | R 4 935.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
