Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.

Tommaso Flaminio Sara Ugolini

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

relation algebra
logic programming
classical logic
modal logic
fractal image compression
data sets
boolean algebra
deontic logic
digital circuits
computational properties
variable length
logical framework
automated reasoning
spatial reasoning
predicate logic
temporal reasoning
database