<?xml version="1.0" encoding="UTF-8"?>
<article article-type="research-article" xml:lang="en" xmlns:xlink="http://www.w3.org/1999/xlink">
<front>
<journal-meta>
<journal-id journal-id-type="publisher">global-journal-of-science-frontier-research</journal-id>
<journal-title-group>
<journal-title>Global Journal of Science Frontier Research</journal-title>
</journal-title-group>
<issn publication-format="print">0975-5896</issn>
<issn publication-format="electronic">2249-4626</issn>
<publisher><publisher-name>Global Journals Publishing Group Incorporated</publisher-name></publisher>
<self-uri xlink:href="https://globaljournals.org/journal-seo-export/jats/73375.xml" />
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">73375</article-id>
<title-group>
<article-title>Metric Boolean Algebras and an Application to Propositional Logic</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author"><name><surname>FU</surname><given-names>Dr. Li</given-names></name><xref ref-type="aff" rid="aff1" />
</contrib>
</contrib-group>
<aff id="aff1">CHINA, QingHai Nationalities University</aff>
<pub-date publication-format="electronic" date-type="pub" iso-8601-date="2011-07-18">
<day>18</day>
<month>07</month>
<year>2011</year>
</pub-date>
<volume>11</volume>
<issue>5</issue>
<fpage>1</fpage>
<lpage>4</lpage>
<abstract><p>Let B be a Boolean algebra and Ω be the set of all homomorphisms from B into D, and μ be a probability measure on Ω . We introduce the concepts of sizes of elements of B and similarity degrees of pairs of elements of B by means of μ , and then define a metric on B . As an application, we propose a kind of approximate reasoning theory for propositional logic.</p></abstract>
<kwd-group kwd-group-type="author-generated">
<kwd>Boolean algebra</kwd>
<kwd>probability measure</kwd>
<kwd>size</kwd>
<kwd>similarity degree</kwd>
<kwd>approximate reasoning</kwd>
<kwd>propositional logic</kwd>
</kwd-group>
<self-uri content-type="pdf" xlink:href="https://globaljournals.org/GJSFR_Volume11/1-Metric-Boolean-Algebras-and-an-Application.pdf" />
<self-uri content-type="html" xlink:href="https://globaljournals.org/scholarly-articles/metric-boolean-algebras-and-an-application-to-propositional-logic/" />
</article-meta>
</front>
<body>
<sec>
<title>Full Text</title>
<p>Let B be a Boolean algebra and Î© be the set of all homomorphisms from B into D, and Î¼ be a probability measure on Î© . We introduce the concepts of sizes of elements of B and similarity degrees of pairs of elements of B by means of Î¼ , and then define a metric on B . As an application, we propose a kind of approximate reasoning theory for propositional logic.</p>
</sec>
</body>
</article>