Visibility Theory defines truth as visible sethood, introduces provability logic KDC shown complete via Sahlqvist methods, and begins Visionary Set Theory while blocking paradoxes through step-identity violations.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Epistemic realizability assigns verifier and generator programs to propositions and proves soundness and completeness for minimal, second-order, and higher-order intuitionistic logic.
citing papers explorer
-
Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
Epistemic realizability assigns verifier and generator programs to propositions and proves soundness and completeness for minimal, second-order, and higher-order intuitionistic logic.