Package net.sf.tweety.logics.pl.semantics

Class Summary

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 Summary

Enum	Description
PriestWorld.TruthValue	The three truth values.