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

package org.episteme.core.mathematics.logic.multivalued

Related Packages

Package	Description
org.episteme.core.mathematics.logic

Class	Description
GodelLogic	Gödel infinite-valued logic (also called Gödel-Dummett logic).
IntuitionisticLogic	Intuitionistic (constructive) logic.
LinearLogic	Linear logic - resource-aware 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