pith. sign in

Title resolution pending

Greg Restall ( · 2000 · DOI 10.4324/9780203016244

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.LO 1 math.LO 1

years

2026 2

verdicts

UNVERDICTED 2

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.

Remarks on Primitive Regulation

math.LO · 2026-05-18 · unverdicted · novelty 6.0 · 2 refs

An obstruction theorem establishes that Eval(C), MP(C), Cons(C), and LEM(C) are jointly incompatible for any closure predicate C on formulas built from bottom and implication.

citing papers explorer

Showing 2 of 2 citing papers.

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

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

  • Remarks on Primitive Regulation math.LO · 2026-05-18 · unverdicted · full · ref 9 · 2 links

    An obstruction theorem establishes that Eval(C), MP(C), Cons(C), and LEM(C) are jointly incompatible for any closure predicate C on formulas built from bottom and implication.