The goal here is
to compare ‘constructive logic’ with ‘first order logic’. Instead however of
discussing logic systems the two logic systems are compared by means of an
analogy in the three following slides.
The constructive
aspect here is that each triple in a proof (or a database) must be an
existing triple i.e. the namespaces of the labels should exist, the notions
expressed by the labels should be defined by the namespaces; the sites should
be trusted; the origin of the triple should be a trusted site.
Thus
constructive logic is used for reasons of verifiability.