A note on the independence of premiss rule

作者：Ishihara Hajime^*; Nemoto Takako

来源：Mathematical Logic Quarterly, 2016, 62(1-2): 72-76.

DOI：10.1002/malq.201500032

In this note, we prove that certain theories of (many-sorted) intuitionistic predicate logic are closed under the independence of premiss rule (IPR). As corollaries, we show that HA and HA(omega) extended by some non-classical axioms and non-constructive axioms are closed under IPR.

• 出版日期2016-2