Pavelka-style fuzzy justification logies

Abstract

Justification logies provide a framework for reasoning about justifications and evidence. In this article, we study a fuzzy variant of justification logics in which an agent's justification for a belief has certainty degree between 0 and 1. We replace the classical base of justification logics with Hájek's rational Pavelka logic. We introduce fuzzy possible world semantics with crisp accessibility relation and also single world models for our logics. We establish soundness and graded-style completeness for both kinds of semantics. We also introduce extensions with product conjunction. Finally, we offer a solution to a variant of the sorites paradox in our fuzzy justification logics. © The Author 2016.