Uses of Interface
org.episteme.core.mathematics.logic.Logic
Packages that use Logic
Package
Description
Provides the
org.episteme.core.mathematics.logic.fuzzy module.Contains fundamental propositional logic components including
-
Uses of Logic in org.episteme.core.mathematics.logic.fuzzy
Classes in org.episteme.core.mathematics.logic.fuzzy that implement LogicModifier and TypeClassDescriptionclassFuzzy Logic system where truth values are Real numbers in [0, 1]. -
Uses of Logic in org.episteme.core.mathematics.logic.modal
Subinterfaces of Logic in org.episteme.core.mathematics.logic.modalModifier and TypeInterfaceDescriptioninterfaceModalLogic<T>Modal logic for reasoning about necessity and possibility. -
Uses of Logic in org.episteme.core.mathematics.logic.multivalued
Classes in org.episteme.core.mathematics.logic.multivalued that implement LogicModifier and TypeClassDescriptionclassGödel infinite-valued logic (also called Gödel-Dummett logic).classIntuitionistic (constructive) logic.classÃ…Âukasiewicz infinite-valued logic.classParaconsistent logic.classThree-valued logic system (True, False, Unknown). -
Uses of Logic in org.episteme.core.mathematics.logic.predicate
Subinterfaces of Logic in org.episteme.core.mathematics.logic.predicateModifier and TypeInterfaceDescriptioninterfaceInterface for First-Order Logic (Predicate Logic). -
Uses of Logic in org.episteme.core.mathematics.logic.propositional
Classes in org.episteme.core.mathematics.logic.propositional that implement Logic -
Uses of Logic in org.episteme.core.mathematics.logic.temporal
Subinterfaces of Logic in org.episteme.core.mathematics.logic.temporalModifier and TypeInterfaceDescriptioninterfaceTemporal logic for reasoning about time and sequence of events.