pith. sign in

Title resolution pending

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

cs.LO 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Non-classical Topological Evidence Logic

cs.LO · 2026-06-30 · unverdicted · novelty 6.0

Extends TEL to intuitionistic and relevant logics and proves soundness and completeness for relevant TEL based on BS4.

citing papers explorer

Showing 1 of 1 citing paper.

  • Non-classical Topological Evidence Logic cs.LO · 2026-06-30 · unverdicted · none · ref 37

    Extends TEL to intuitionistic and relevant logics and proves soundness and completeness for relevant TEL based on BS4.