期刊
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019)
卷 159, 期 -, 页码 1175-1181出版社
ELSEVIER
DOI: 10.1016/j.procs.2019.09.286
关键词
annotated logic; paraconsistent logic; paracomplete logic; non-classical logic; applications
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据