Logics

Latest version: v1.10.3

Safety actively analyzes 629908 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 1 of 6

Fixed
- Bug in tableaux `is_correct_tree` method when multiple version of a rule were given

Added
- Possibility of having different versions of a rule in tableaux systems

Fixed
- Bug in the biconditional rule of classical tableaux system

Added
- Model finder for classical model theory w/documentation and tests

Fixed
- Bug fix in PredicateFormula free_variables method

Fixed
- Mini bug fix in predicate model semantics (makes the valuation function more general)

Added
- Random formula generator for predicate languages
(`logics.utils.formula_generators.generators_biased.RandomPredicateGenerator`)

Has known vulnerabilities