Advertisement

An Overview of More Applications

  • Fábio Romeu de CarvalhoEmail author
  • Jair Minoro Abe
Chapter
  • 232 Downloads
Part of the Smart Innovation, Systems and Technologies book series (SIST, volume 87)

Abstract

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.

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Paulista University, UNIPSão PauloBrazil

Personalised recommendations