Journal
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019)
Volume 159, Issue -, Pages 1175-1181Publisher
ELSEVIER
DOI: 10.1016/j.procs.2019.09.286
Keywords
annotated logic; paraconsistent logic; paracomplete logic; non-classical logic; applications
Ask authors/readers for more resources
In this expository work, we sketch some applications of annotated logics. Such logics were discovered in the late 1980s and nowadays have become one of the most fertile logics for applications. They constitute a two-sorted logic, and they are paraconsistent and in general paracomplete and non-alethic logics. (C) 2019 The Authors. Published by Elsevier B.V.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available