PHPackages                             fieg/propositional-calculus - PHPackages - PHPackages  [Skip to content](#main-content)[PHPackages](/)[Directory](/)[Categories](/categories)[Trending](/trending)[Leaderboard](/leaderboard)[Changelog](/changelog)[Analyze](/analyze)[Collections](/collections)[Log in](/login)[Sign up](/register)

1. [Directory](/)
2. /
3. [Utility & Helpers](/categories/utility)
4. /
5. fieg/propositional-calculus

ActiveLibrary[Utility & Helpers](/categories/utility)

fieg/propositional-calculus
===========================

Implementation of a Propositional Calculus in PHP

1.0(11y ago)222MITPHP

Since Jun 2Pushed 11y ago1 watchersCompare

[ Source](https://github.com/fieg/propositional-calculus)[ Packagist](https://packagist.org/packages/fieg/propositional-calculus)[ Docs](https://github.com/fieg/csp)[ RSS](/packages/fieg-propositional-calculus/feed)WikiDiscussions master Synced 5d ago

READMEChangelog (1)Dependencies (1)Versions (2)Used By (0)

Propositional Calculus
======================

[](#propositional-calculus)

Implementation of a Propositional Calculus in PHP.

Based on the book [Artificial Intelligence - foundations of computational agents](http://artint.info) chapter [5 Propositions and Inference](http://artint.info/html/ArtInt_100.html).

###  Health Score

28

—

LowBetter than 54% of packages

Maintenance20

Infrequent updates — may be unmaintained

Popularity9

Limited adoption so far

Community7

Small or concentrated contributor base

Maturity63

Established project with proven stability

 Bus Factor1

Top contributor holds 100% of commits — single point of failure

How is this calculated?**Maintenance (25%)** — Last commit recency, latest release date, and issue-to-star ratio. Uses a 2-year decay window.

**Popularity (30%)** — Total and monthly downloads, GitHub stars, and forks. Logarithmic scaling prevents top-heavy scores.

**Community (15%)** — Contributors, dependents, forks, watchers, and maintainers. Measures real ecosystem engagement.

**Maturity (30%)** — Project age, version count, PHP version support, and release stability.

###  Release Activity

Cadence

Unknown

Total

1

Last Release

4366d ago

### Community

Maintainers

![](https://www.gravatar.com/avatar/5eceacbc3912547ac51ba584798cc5a7c1bfae49b714978f62b6e1af389307dd?d=identicon)[fieg](/maintainers/fieg)

---

Top Contributors

[![fieg](https://avatars.githubusercontent.com/u/1086908?v=4)](https://github.com/fieg "fieg (1 commits)")

---

Tags

machine-learningartificialintelligencepropositionalcalculus

###  Code Quality

TestsPHPUnit

### Embed Badge

![Health badge](/badges/fieg-propositional-calculus/health.svg)

```
[![Health](https://phpackages.com/badges/fieg-propositional-calculus/health.svg)](https://phpackages.com/packages/fieg-propositional-calculus)
```

###  Alternatives

[php-science/textrank

TextRank (automatic text summarization) for PHP.

2461.7M3](/packages/php-science-textrank)[sabatinomasala/replicate-php

PHP client for the Replicate API

3743.6k](/packages/sabatinomasala-replicate-php)

PHPackages © 2026

[Directory](/)[Categories](/categories)[Trending](/trending)[Changelog](/changelog)[Analyze](/analyze)