Noncontractive implication-space semantics

Code related to a non-contractive version of implication-space semantics from Reasons for Logic, Logic for Reasons.

Files

• ImplFrame.py: contains the main ImplicationFrame class and associated functions.
• drhagen/: contains code from select parts of this repository for encoding implications as tuples and integers.
• examples.py contains a few examples of implication frames and some associated computations.
• multiset.py contanis a few helper functions for performing operations on multisets of bearers.
• translate.py contains a few helper functions for translating implications as strings into their encodings and vice-versa.