Logics

Latest version: v1.10.3

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

Scan your dependencies

Page 5 of 6

1.2.1

Added
- Alternative natural deduction system for classical logic (with solver), see docs.

Changed
- Tableaux `is_correct_tree` errors are sorted by LevelOrder.

1.2.0

Added
- `child_index` property to `TableauxNode`.
- More extensive tests for `TableauxSystem`'s `is_correct_tree` method.

Changed
- Error messages on `logics.classes.propositional.proof_theories.tableaux`.
`TableauxSystem`'s `is_correct_tree` method now returns a list of tuples
as `error_list`, where the first member is the tuple of indexes (`int`) leading to the
node from the root and the second is an `str` with the error, instead of a list of `str`.

1.1.6

Fixed
- Various bugs with TableauxSystem's `is_correct_tree` (no missing premises -avoids
marking tableaux that only contain one premise as correct-; all premises must come at
the beginning of the tableaux, before branching and before applying any other rule)

1.1.5

Changed
- TableauxSystem's `is_correct_tree` method now takes an extra `parser` optional parameter
for nicer error displaying.

1.1.4

Added
- Option to `exit_on_first_error` in natural deduction `is_correct_derivation`

1.1.3

Changed
- Natural deduction `is_correct_derivation` accepts rule justifications like `E∧` for
rules that have multiple versions (e.g. `E∧1`, `E∧2`)

Fixed
- Bug fix in natural deduction's `is_correct_derivation` (do not check correct application
of the rule if invalid rule name)

Page 5 of 6

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.