Logic Model and Models of Logic

There are many models of logic, say boolean logic, multi-valued logic, reversible logic. There can also be many possible Logic Models. However, to manage knowledge in a operational manner, we will try to root ourselves to a generic format of Logic Model, so that this model can be used as the initial abstraction to be mapped onto other possible models of logic in the data contained in PKC. All the logical assertions will be modeled using hyperlinks.