Title: The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae
Abstract: The theory of the quasi-truth degrees of predicate formulae is a preliminary test of quantitative predicate logic. Corresponding to quantitative propositional logic, we know that it’s just a beginning. In this paper, we continue the research of the measurement in predicate logic.We propose the concept of the degree of the quasi-similarity and logically quasi-equivalent relation between formulae, and study some important reasonable results. Moreover, the pseudo-metric ρ on the set $\mathcal{F}$ of formulae is naturally induced, and we prove that the operators ∨ , ∧ and → are all continuous on the logic metric space ( $\mathcal{F}, \rho$ ). The paper further riches the theory of quantitative predicate logic, and provides a basic framework for the approximate reasoning in predicate logic.
Publication Year: 2010
Publication Date: 2010-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot