Uses of Package
org.episteme.core.mathematics.logic.multivalued

Packages that use org.episteme.core.mathematics.logic.multivalued

Package	Description
org.episteme.core.mathematics.logic.multivalued

Classes in org.episteme.core.mathematics.logic.multivalued used by org.episteme.core.mathematics.logic.multivalued

Class	Description
GodelLogic	Gödel infinite-valued logic (also called Gödel-Dummett logic).
IntuitionisticLogic	Intuitionistic (constructive) logic.
LinearLogic.Proposition	Represents a linear logic proposition with resource tracking.
LukasiewiczLogic	Łukasiewicz infinite-valued logic.
ParaconsistentLogic	Paraconsistent logic.
ParaconsistentLogic.TruthValue
ThreeValuedLogic	Three-valued logic system (True, False, Unknown).
ThreeValuedLogic.Value