# -------------------------------------------- # CITATION file created with {cffr} R package # See also: https://docs.ropensci.org/cffr/ # -------------------------------------------- cff-version: 1.2.0 message: 'To cite package "Pinference" in publications use:' type: software license: AGPL-3.0-or-later title: 'Pinference: Probability Inference for Propositional Logic' version: 0.2.6 doi: 10.32614/CRAN.package.Pinference abstract: 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) , T. Hailperin (1996) "Sentential Probability Logic" ISBN:0-934223-45-9, and package documentation. Requires the 'lpSolve' package. authors: - family-names: Porta Mana given-names: PierGianLuca email: pgl@portamana.org orcid: https://orcid.org/0000-0002-6070-0784 repository: https://pglpm.r-universe.dev repository-code: https://github.com/pglpm/Pinference/ commit: 62205a9a61109565d6a9404f062edfe817e61209 url: https://pglpm.github.io/Pinference/ date-released: '2025-11-15' contact: - family-names: Porta Mana given-names: PierGianLuca email: pgl@portamana.org orcid: https://orcid.org/0000-0002-6070-0784