| Class | Description |
|---|---|
| FuzzyInterpretation |
A fuzzy interpretation for propositional logic.
|
| NicePossibleWorld |
Wrapper for the PossibleWorld providing better representation mechanisms, it knows all
the possible propositions (the signature) and therefore provides a complete representation that
maps a boolean to the Proposition.
|
| PossibleWorld |
This class represents a possible world of propositional logic, i.e.
|
| PossibleWorldIterator |
Iterates effectively over all interpretation sets worlds of a given signature.
|
| PriestWorld |
A three-valued interpretation for propositional logic from
Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.
|
| Enum | Description |
|---|---|
| PriestWorld.TruthValue |
The three truth values.
|