This chapter discusses formal issues of annotated logics. We describe an algebraic semantics for Pτ based on Curry algebras. We also discuss annotated set theory, annotated model theory, proof methods, and annotated modal logics.
CITATION STYLE
Abe, J. M., Akama, S., & Nakamatsu, K. (2015). Formal issues. Intelligent Systems Reference Library. Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-319-17912-4_4
Mendeley helps you to discover research relevant for your work.