-
13BibliographyIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 565-710. 2017.
-
89Studies in paraconsistent logic I: The dialectical principle of the unity of oppositesPhilosophia 9 (2): 189-217. 1980.
-
41
-
8Proof, Logic, and Conjecture: The Mathematician's ToolboxW. H. Freeman. 1997.This text is designed to teach students how to read and write proofs in mathematics and to acquaint them with how mathematicians investigate problems and formulate conjecture.
-
No Rational Sentential Logic has a Finite Characteristic MatrixLogique Et Analyse 17 (67): 317-321. 1974.
-
43Studies in paraconsistent logic I: The dialectical principle of the unity of oppositesPhilosophia 9 (2): 189-217. 1980.
-
13A highly efficient "transfinite recursive definitions" axiom for set theoryNotre Dame Journal of Formal Logic 22 (1): 63-75. 1981.
-
36Determinateness of certain almost-borel gamesJournal of Symbolic Logic 50 (3): 569-579. 1985.We prove (in ZFC Set Theory) that all infinite games whose winning sets are of the following forms are determined: (1) (A - S) ∪ B, where A is $\Pi^0_2, \bar\bar{S}, 2^{\aleph_0}$ , and the games whose winning set is B is "strongly determined" (meaning that all of its subgames are determined). (2) A Boolean combination of Σ 0 2 sets and sets smaller than the continuum. This also enables us to show that strong determinateness is not preserved under complementation, improving a result of Morton Da…Read more
-
Southern Illinois University EdwardsvilleRetired faculty
Edwardsville, Illinois, United States of America
Areas of Interest
Metaphysics |
Logic and Philosophy of Logic |