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 30 Jul. 2026.
Previous versions and publish date:
(2026-07-09 08:17), 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

r2resize  
In-Text Resize for Images, Tables and Fancy Resize Containers in 'shiny', 'rmarkdown' and 'quarto' Documents
Automatic resizing toolbar for containers, images and tables. Various resizable or expandable contai ...
Download / Learn more Package Citations See dependency  
trajectories  
Classes and Methods for Trajectory Data
Classes and methods for trajectory data, with support for nesting individual Track objects in track ...
Download / Learn more Package Citations See dependency  
bootUR  
Bootstrap Unit Root Tests
Set of functions to perform various bootstrap unit root tests for both individual time series (incl ...
Download / Learn more Package Citations See dependency  
extremefit  
Estimation of Extreme Conditional Quantiles and Probabilities
Extreme value theory, nonparametric kernel estimation, tail conditional probabilities, extreme cond ...
Download / Learn more Package Citations See dependency  
radiant.data  
Data Menu for Radiant: Business Analytics using R and Shiny
The Radiant Data menu includes interfaces for loading, saving, viewing, visualizing, summarizing, t ...
Download / Learn more Package Citations See dependency  
RolWinMulCor  
Subroutines to Estimate Rolling Window Multiple Correlation
Rolling Window Multiple Correlation ('RolWinMulCor') estimates the rolling (running) window correlat ...
Download / Learn more Package Citations See dependency  

27,987

R Packages

239,283

Dependencies

74,234

Author Associations

27,988

Publication Badges

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