Quantitative Logic: A Quantitative Approach to Many-Valued Logics

Guo-jun Wang,Hong-jun Zhou
DOI: https://doi.org/10.1007/978-3-642-15660-1_6
2010-01-01
Abstract:Quantitative logic mainly provides a quantitative approach to evaluating the degree of truth of a formula in a system of many-valued logic. Based on the fundamental notion of truth degree, one can introduce the notions of similarity degree and of pseudo-metric between formulas, and can also introduce an effective method to measure the degree of consistency of a logic theory. The purpose of the paper is to give a brief overview of the background, basic results and recent developments of quantitative logic.
What problem does this paper attempt to address?