Class ThreeValuedLogic

java.lang.Object

org.episteme.core.mathematics.logic.multivalued.ThreeValuedLogic

All Implemented Interfaces:

Logic<ThreeValuedLogic.Value>

public class ThreeValuedLogic
extends Object
implements Logic<ThreeValuedLogic.Value>

Three-valued logic system (True, False, Unknown).

Based on Kleene's strong logic of indeterminacy.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ThreeValuedLogic.Value

Method Summary

Modifier and Type	Method	Description
ThreeValuedLogic.Value	and(ThreeValuedLogic.Value a, ThreeValuedLogic.Value b)	Logical AND (Conjunction).
ThreeValuedLogic.Value	falseValue()	Returns the truth value representing "False" (contradiction).
static ThreeValuedLogic	getInstance()
ThreeValuedLogic.Value	not(ThreeValuedLogic.Value a)	Logical NOT (Negation).
ThreeValuedLogic.Value	or(ThreeValuedLogic.Value a, ThreeValuedLogic.Value b)	Logical OR (Disjunction).
ThreeValuedLogic.Value	trueValue()	Returns the truth value representing "True" (tautology).

Methods inherited from class Object

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

Methods inherited from interface Logic

equivalent, implies

Method Details

getInstance

public static ThreeValuedLogic getInstance()

trueValue

public ThreeValuedLogic.Value trueValue()

Description copied from interface: Logic

Returns the truth value representing "True" (tautology).

Specified by:

trueValue in interface Logic<ThreeValuedLogic.Value>

Returns:

the true value

falseValue

public ThreeValuedLogic.Value falseValue()

Description copied from interface: Logic

Returns the truth value representing "False" (contradiction).

Specified by:

falseValue in interface Logic<ThreeValuedLogic.Value>

Returns:

the false value

and

public ThreeValuedLogic.Value and(ThreeValuedLogic.Value a,
 ThreeValuedLogic.Value b)

Description copied from interface: Logic

Logical AND (Conjunction).

Specified by:

and in interface Logic<ThreeValuedLogic.Value>

Parameters:

a - first operand

b - second operand

Returns:

a AND b

or

public ThreeValuedLogic.Value or(ThreeValuedLogic.Value a,
 ThreeValuedLogic.Value b)

Description copied from interface: Logic

Logical OR (Disjunction).

Specified by:

or in interface Logic<ThreeValuedLogic.Value>

Parameters:

a - first operand

b - second operand

Returns:

a OR b

not

public ThreeValuedLogic.Value not(ThreeValuedLogic.Value a)

Description copied from interface: Logic

Logical NOT (Negation).

Specified by:

not in interface Logic<ThreeValuedLogic.Value>

Parameters:

a - operand

Returns:

NOT a