Other packages > Find by keyword >

Pinference  

Probability Inference for Propositional Logic
View on CRAN: Click here


Download and install Pinference package within the R console
Install from CRAN:
install.packages("Pinference")

Install from Github:
library("remotes")
install_github("cran/Pinference")

Install by package version:
library("remotes")
install_version("Pinference", "0.2.6")



Attach the package and use:
library("Pinference")
Maintained by
PierGianLuca Porta Mana
[Scholar Profile | Author Map]
All associated links for this package
First Published: 2025-10-06
Latest Update: 2025-10-06
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) <doi:10.1080/00029890.1965.11970533>, T. Hailperin (1996) "Sentential Probability Logic" ISBN:0-934223-45-9, and package documentation. Requires the 'lpSolve' package.
How to cite:
PierGianLuca Porta Mana (2025). Pinference: Probability Inference for Propositional Logic. R package version 0.2.6, https://cran.r-project.org/web/packages/Pinference. Accessed 12 Mar. 2026.
Previous versions and publish date:
0.2.5 (2025-10-06 10:00)
Other packages that cited Pinference R package
View Pinference citation profile
Other R packages that Pinference depends, imports, suggests or enhances
Complete documentation for Pinference
Functions, R codes and Examples using the Pinference R package
Full Pinference package functions and examples
Downloads during the last 30 days

Today's Hot Picks in Authors and Packages

nextGenShinyApps  
Craft Exceptional 'R Shiny' Applications and Dashboards with Novel Responsive Tools
Nove responsive tools for designing and developing 'Shiny' dashboards and applications. The scripts ...
Download / Learn more Package Citations See dependency  
riskCommunicator  
G-Computation to Estimate Interpretable Epidemiological Effects
Estimates flexible epidemiological effect measures including both differences and ratios using the p ...
Download / Learn more Package Citations See dependency  
impactflu  
Quantification of Population-Level Impact of Vaccination
Implements the compartment model from Tokars (2018) . This ena ...
Download / Learn more Package Citations See dependency  
threewords  
Represent Precise Coordinates in Three Words
A connector to the 'What3Words' (http://what3words.co ...
Download / Learn more Package Citations See dependency  
funnelR  
Funnel Plots for Proportion Data
A set of simplified functions for creating funnel plots for proportion data. This package supports u ...
Download / Learn more Package Citations See dependency  
sloop  
Helpers for 'OOP' in R
A collection of helper functions designed to help you to better understand object oriented programmi ...
Download / Learn more Package Citations See dependency  

26,293

R Packages

225,784

Dependencies

70,376

Author Associations

26,294

Publication Badges

© Copyright since 2022. All right reserved, rpkg.net.  Based in Cambridge, Massachusetts, USA