<?xml version="1.0" encoding="UTF-8"?>
<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:title>Probability Inference for Propositional Logic</dc:title>
  <dc:title>R package Pinference version 0.2.6</dc:title>
  <dc:description>Implementation of T. Hailperin's procedure to calculate lower and upper bounds of the probability for a propositional-logic expression, given equality and inequality constraints on the probabilities for other expressions. Truth-valuation is included as a special case. Applications range from decision-making and probabilistic reasoning, to pedagogical for probability and logic courses. For more details see T. Hailperin (1965) &lt;doi:10.1080/00029890.1965.11970533&gt;, T. Hailperin (1996) "Sentential Probability Logic" ISBN:0-934223-45-9, and package documentation. Requires the 'lpSolve' package.</dc:description>
  <dc:type>Software</dc:type>
  <dc:relation>Depends: R (&gt;= 3.5.0)</dc:relation>
  <dc:relation>Imports: lpSolve</dc:relation>
  <dc:relation>Suggests: knitr, rmarkdown</dc:relation>
  <dc:creator>PierGianLuca Porta Mana &lt;pgl@portamana.org&gt;</dc:creator>
  <dc:publisher>Comprehensive R Archive Network (CRAN)</dc:publisher>
  <dc:contributor>PierGianLuca Porta Mana [aut, cre, cph] (ORCID:
    &lt;https://orcid.org/0000-0002-6070-0784&gt;)</dc:contributor>
  <dc:rights>AGPL (&gt;= 3)</dc:rights>
  <dc:date>2025-11-30</dc:date>
  <dc:format>application/tgz</dc:format>
  <dc:identifier>https://CRAN.R-project.org/package=Pinference</dc:identifier>
  <dc:identifier>doi:10.32614/CRAN.package.Pinference</dc:identifier>
</oai_dc:dc>