Journal of Logic and Computation 26(6), pp

Marta Bílková, Ondrej Majer & Michal Peliš ( · 2016 · DOI 10.1093/logcom/exv009

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

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

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.

Showing 1 of 1 citing paper.

Non-classical Topological Evidence Logic cs.LO · 2026-06-30 · unverdicted · none · ref 10
Extends TEL to intuitionistic and relevant logics and proves soundness and completeness for relevant TEL based on BS4.