An Overview of More Applications
- 232 Downloads
Annotated logics have shown fruitful in many aspects. An overview of more applications of such logical systems are discussed in this chapter. Annotated logics has a well-defined syntactical counterpart as well as a semantic which the logic is sound and complete (when the associated lattice is finite; otherwise is still an open problem). Their composition as 2- sorted logic in which one variable has a mathematical structure (lattice) has allowed a smooth hardware implementation as well as logical programming.