Uses of Class
org.episteme.core.mathematics.logic.multivalued.LinearLogic.Proposition

Packages that use LinearLogic.Proposition

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

Uses of LinearLogic.Proposition in org.episteme.core.mathematics.logic.multivalued

Methods in org.episteme.core.mathematics.logic.multivalued that return LinearLogic.Proposition

Modifier and Type	Method	Description
static LinearLogic.Proposition	LinearLogic.bang(LinearLogic.Proposition p)	Bang (!)
static LinearLogic.Proposition	LinearLogic.linear(String name)	Creates a linear proposition (single use).
static LinearLogic.Proposition	LinearLogic.plus(LinearLogic.Proposition a, LinearLogic.Proposition b, boolean chooseFirst)	Plus (⊕) - additive disjunction.
static LinearLogic.Proposition	LinearLogic.tensor(LinearLogic.Proposition a, LinearLogic.Proposition b)	Tensor product (⊗) - multiplicative conjunction.
static LinearLogic.Proposition	LinearLogic.unlimited(String name)	Creates an unlimited proposition (bang modality).
static LinearLogic.Proposition	LinearLogic.with(LinearLogic.Proposition a, LinearLogic.Proposition b)	With (invalid input: '&') - additive conjunction.

Methods in org.episteme.core.mathematics.logic.multivalued with parameters of type LinearLogic.Proposition

Modifier and Type	Method	Description
static LinearLogic.Proposition	LinearLogic.bang(LinearLogic.Proposition p)	Bang (!)
static LinearLogic.Proposition	LinearLogic.plus(LinearLogic.Proposition a, LinearLogic.Proposition b, boolean chooseFirst)	Plus (⊕) - additive disjunction.
static LinearLogic.Proposition	LinearLogic.tensor(LinearLogic.Proposition a, LinearLogic.Proposition b)	Tensor product (⊗) - multiplicative conjunction.
static LinearLogic.Proposition	LinearLogic.with(LinearLogic.Proposition a, LinearLogic.Proposition b)	With (invalid input: '&') - additive conjunction.