論理式全体の集合Fは含意記号⇒について順序集合をなしますが(議論している形式的体系はZFCとかそれ以外でもいいんですかね？)、
ということは⇒からFに位相が定まりますが、この位相空間について議論している研究分野って何て言うんですか？
勉強になる資料あったら教えて欲しいです


で、気になったんですがこの議論って、　Fにおける順序　と　位相空間Fから演繹される⇒を含んだ各種命題　が循環しそうな感じですよね
厄介な議論になりそうでこの点でも興味あるんですが