Uses of Class org.episteme.core.mathematics.logic.multivalued.IntuitionisticLogic (Episteme API Documentation)

Packages that use IntuitionisticLogic

Package

Description

org.episteme.core.mathematics.logic.multivalued

Uses of IntuitionisticLogic in org.episteme.core.mathematics.logic.multivalued

Methods in org.episteme.core.mathematics.logic.multivalued that return IntuitionisticLogic

Modifier and Type

Method

Description

static IntuitionisticLogic

IntuitionisticLogic.getInstance()