Default Logic

 

This is the default logic used in Milord II when there is no local logic declaration into a module.

Truth-values

where the meaning of each term is the following:

1. gp: Impossible
2. mpop: Very few possible
3. llp: Few possible
4. modp: Slightly possible
5. p: Possible
6. fp: Quite possible
7. mp: Very possible
8. s: Definite

Conjunction

This operation is described in the Table 3.