De Finetti's No-Dutch-Book Criterion for Gödel logic.

Stefano Aguzzoli Brunella Gerla Vincenzo Marra

Published in: Stud Logica (2008)

Keyphrases

book covers
book presents
cutting edge
researchers and practitioners
database
modal logic
automated reasoning
information systems
latest developments
predicate logic
classical logic
multi valued
object oriented programming
logic programming
asynchronous circuits
proof theory
valued logic