Index of values

A
and_st [Tern]

Strict conjunction: X ∧ U = U, for all X.

and_tern [Tern]

Ternary conjunction.

B
bicond_st [Tern]

Strict biconditional.

E
eval_tern [Tern]

Evaluate expression over given valuation

I
impl_lukas [Tern]

Łukasiewicz implication: equivalent to Kleene implication except for UU = T.

impl_st [Tern]

Strict implication: X → U = U, U → X = U.

impl_tern [Tern]

Kleene implication

is_strict [Tern]

Check if expression contains all strict connectives.

N
not_tern [Tern]

Ternary negation: ¬U = U.

O
or_st [Tern]

Strict conjunction: X ∨ U = U for all X.

or_tern [Tern]

Ternary disjunction.

T
to_bool [Tern]

Convert T or F to respective boolean values.

W
wdef [Tern]

Well-definedness.