Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
MLQ
2016
2016
A note on the independence of premiss rule
In this paper, we prove that certain theories of (many-sorted) intuitionistic predicate logic is closed under the independence of premiss rule (IPR). As corollaries, we show that HA and HAω extended by some non-classical axioms and non-constructive axioms are closed under IPR.
Real-time TrafficMLQ 2016 |
| Added | 08 Apr 2016 |
| Updated | 08 Apr 2016 |
| Type | Journal |
| Year | 2016 |
| Where | MLQ |
| Authors | Hajime Ishihara, Takako Nemoto |
Comments (0)
Researcher Info
|
