Formal Issues

  • Jair Minoro AbeEmail author
  • Seiki Akama
  • Kazumi Nakamatsu
Part of the Intelligent Systems Reference Library book series (ISRL, volume 88)


This chapter discusses formal issues of annotated logics. We describe an algebraic semantics for \(P\tau \) based on Curry algebras. We also discuss annotated set theory, annotated model theory, proof methods, and annotated modal logics.


Modal Logic Kripke Model Natural Deduction Sequent Calculus Elimination Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Jair Minoro Abe
    • 1
    Email author
  • Seiki Akama
    • 2
  • Kazumi Nakamatsu
    • 3
  1. 1.Paulista UniversitySao PauloBrazil
  2. 2.KawasakiJapan
  3. 3.University of HyogoHimejiJapan

Personalised recommendations