Class LinearLogic

java.lang.Object

org.episteme.core.mathematics.logic.multivalued.LinearLogic

public class LinearLogic
extends Object

Linear logic - resource-aware logic.

Linear logic treats propositions as resources that are consumed when used. Key connectives: - ⊗ (tensor): multiplicative conjunction - ⅋ (par): multiplicative disjunction - ⊕ (plus): additive disjunction - invalid input: '&' (with): additive conjunction - ! (bang): unlimited resource - ? (whimper): unlimited consumption

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LinearLogic.Proposition	Represents a linear logic proposition with resource tracking.

Constructor Summary

Constructors

Constructor	Description
LinearLogic()

Method Summary

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

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

LinearLogic

public LinearLogic()

Method Details

linear

public static LinearLogic.Proposition linear(String name)

Creates a linear proposition (single use).

Parameters:

name - the name

Returns:

the proposition

unlimited

public static LinearLogic.Proposition unlimited(String name)

Creates an unlimited proposition (bang modality).

Parameters:

name - the name

Returns:

the proposition

tensor

public static LinearLogic.Proposition tensor(LinearLogic.Proposition a,
 LinearLogic.Proposition b)

Tensor product (⊗) - multiplicative conjunction. Both resources must be available.

Parameters:

a - first proposition

b - second proposition

Returns:

combined proposition

plus

public static LinearLogic.Proposition plus(LinearLogic.Proposition a,
 LinearLogic.Proposition b,
 boolean chooseFirst)

Plus (⊕) - additive disjunction. Choose one of the resources.

Parameters:

a - first proposition

b - second proposition

chooseFirst - true to choose first, false for second

Returns:

chosen proposition

with

public static LinearLogic.Proposition with(LinearLogic.Proposition a,
 LinearLogic.Proposition b)

With (invalid input: '&') - additive conjunction. Both must be available, but only one is used.

Parameters:

a - first proposition

b - second proposition

Returns:

combined proposition

bang

public static LinearLogic.Proposition bang(LinearLogic.Proposition p)

Bang (!) modality - makes a resource unlimited.

Parameters:

p - the proposition

Returns:

unlimited version

toString

public String toString()

Overrides:

toString in class Object