
Logic Language: Three Valued Logic
A language that defines expressions in a logic with three values 'true', 'false and 'unknown'. It comes with an interpreter to compute the value of logical expressions.
Contents |
org.emftext.language.threevaluedlogic
org.emftext.language.threevaluedlogic.resource.tvl
org.emftext.language.threevaluedlogic.resource.tvl.ui