DOI10.1007/978-3-642-15660-1_6zbMath1253.03046OpenAlexW152423064MaRDI QIDQ3145136
Wang, Guojun, Hong Jun Zhou
Publication date: 14 December 2012 Published in: Quantitative Logic and Soft Computing 2010 (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-15660-1_6
zbMATH Keywords
pseudo-metricquantitative logictruth degreeconsistency degreeentailment degree
Mathematics Subject Classification ID
Many-valued logic (03B50)