4 found
Paul C. Gilmore [5]Paul Carl Gilmore [1]
  1.  13
    J. Kent Minichiello. An Extension of Negationless Logic. Notre Dame Journal of Formal Logic, Vol. 10 No. 3 , Pp. 298–302. [REVIEW]Paul C. Gilmore - 1971 - Journal of Symbolic Logic 36 (4):689.
  2.  35
    Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes.Paul C. Gilmore - 1986 - Journal of Symbolic Logic 51 (2):393-411.
    The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a comprehension axiom (...)
    Direct download (8 more)  
    Export citation  
    Bookmark   2 citations  
  3.  3
    Review: J. Kent Minichiello, An Extension of Negationless Logic. [REVIEW]Paul C. Gilmore - 1971 - Journal of Symbolic Logic 36 (4):689-689.
  4.  6
    The Effect of Griss's Criticism of the Intuitionistic Logic on Deducative Theories Formalized Within the Intuitionistic Logic.Paul C. Gilmore - 1953 - Amsterdam: Drukkerij Holland.
    Direct download  
    Export citation