[FOM] Gradation of truth and its algebraic foundations

Patrik Eklund peklund at cs.umu.se
Mon Aug 20 01:51:14 EDT 2018

A number of postings apparently aim to draw attention to uncertainty and 
operation related with uncertainty.

When discussion gradation of truth and uncertanties more formally, and 
the algebraic foundations of it in particular, as e.g. for the purpose 
of logical constructions, you may find this book interesting:


It's been out since June this year.

This is the source which has been underlying my comments and postings at 
FOM e.g. on many-valuedness, both its foundations as well as its 

Roughly it can be seen to implicitly include an indication about how 
"logic over set theory (category of sets and functions)" can only be so 
and so, whereas "logic over monoidal categories" provides enrichment. 
 From application point of view, there is a brief section also about what 
might happen in the case of computation (automata) when we see it in 
light of modules.



More information about the FOM mailing list