Uses of Interface
org.episteme.core.mathematics.logic.Logic

Packages that use Logic

Package	Description
org.episteme.core.mathematics.logic.fuzzy	Provides the org.episteme.core.mathematics.logic.fuzzy module.
org.episteme.core.mathematics.logic.modal
org.episteme.core.mathematics.logic.multivalued
org.episteme.core.mathematics.logic.predicate
org.episteme.core.mathematics.logic.propositional	Contains fundamental propositional logic components including
org.episteme.core.mathematics.logic.temporal

Uses of Logic in org.episteme.core.mathematics.logic.fuzzy

Classes in org.episteme.core.mathematics.logic.fuzzy that implement Logic

Modifier and Type	Class	Description
class	FuzzyLogic	Fuzzy 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.modal

Modifier and Type	Interface	Description
interface	ModalLogic<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 Logic

Modifier and Type	Class	Description
class	GodelLogic	Gödel infinite-valued logic (also called Gödel-Dummett logic).
class	IntuitionisticLogic	Intuitionistic (constructive) logic.
class	LukasiewiczLogic	Łukasiewicz infinite-valued logic.
class	ParaconsistentLogic	Paraconsistent logic.
class	ThreeValuedLogic	Three-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.predicate

Modifier and Type	Interface	Description
interface	FirstOrderLogic<T>	Interface 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

Modifier and Type	Class	Description
class	BooleanLogic	Classical two-valued Boolean logic.

Uses of Logic in org.episteme.core.mathematics.logic.temporal

Subinterfaces of Logic in org.episteme.core.mathematics.logic.temporal

Modifier and Type	Interface	Description
interface	TemporalLogic<T>	Temporal logic for reasoning about time and sequence of events.