Abstract
It has been shown in Dummett [1] that the system LC given by Heyting's Calculus plus the additional axiom ACpqCqp is complete with respect to the model having as truth values the integers 0, 1,2, … and ω, 0 being the designated value, with
In this system CCCpqrCCCqprr is equivalent to ACpqCqp, and the purpose of this paper is to show that the implicational fragment of Heyting's Calculus plus the additional axiom CCCpqrCCCqprr yields the implicational fragment of LC.
Publisher
Cambridge University Press (CUP)
Reference2 articles.
1. Logicians at play; or Syll, Simp and Hilbert
2. A prepositional calculus with denumerable matrix;Dummett;this Journal,1959
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献