LJ

E2036926 UNEXPLORED

LJ is a variant of sequent calculus tailored to intuitionistic logic, capturing proofs that avoid the law of excluded middle.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
LJ canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

sequent calculus → hasVariant → LJ ⓘ