Fractional Semantics Decomposition

Proof trees rendered in-browser with MathJax — no LaTeX installation required.

Sequent

Belief set B (optional)

Gradient values (0..1)

One value per belief, same order. In Full mode values enable hybrid behaviour; in Gradient mode missing values default to 1.

Belief Mode

Decomposition

Random Mode

History

Legend

Turnstile forms: Γ |- Δ, Γ ⊢ Δ, \vdash Δ

Comma in one-sided/right side is disjunction: q, (r & s) = q OR (r AND s)

OR: |, ∨, \vee, OR | AND: &, ∧, \wedge, AND | NOT: ~, !, ¬, \neg

Proof Tree

100%

Fractional Semantics Value

Visual Tree (ASCII)

Raw LaTeX Source

Generated Example (LLM)

Example Mode