Package org.tweetyproject.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 threevalued 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.