Uses of Package
org.tweetyproject.logics.translators.adfrevision
-
ClassDescriptionThis class models a three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.The three truth values.