Paraconsistent Logic with Multiple Fuzzy Linguistic Truth-values

Manren Wang, Xudong Luo

2017

Abstract

This paper extends the two-valued paraconsistent logic into an one in which a proposition takes a truth-value from a set of multiple fuzzy linguistic terms. More specifically, we propose the corresponding inference rule and semantics, and finally prove the soundness of our new fuzzy logical system and its completeness. Moreover, we use an example to illustrate the applicability of our logic system in real life.

Paper Citation

in Harvard Style

Wang M. and Luo X. (2017). Paraconsistent Logic with Multiple Fuzzy Linguistic Truth-values . In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-220-2, pages 53-62. DOI: 10.5220/0006117200530062

in Bibtex Style

@conference{icaart17,
author={Manren Wang and Xudong Luo},
title={Paraconsistent Logic with Multiple Fuzzy Linguistic Truth-values},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2017},
pages={53-62},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006117200530062},
isbn={978-989-758-220-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Paraconsistent Logic with Multiple Fuzzy Linguistic Truth-values
SN - 978-989-758-220-2
AU - Wang M.
AU - Luo X.
PY - 2017
SP - 53
EP - 62
DO - 10.5220/0006117200530062