-
93Studies in paraconsistent logic I: The dialectical principle of the unity of oppositesPhilosophia 9 (2): 189-217. 1980.
-
44Studies in paraconsistent logic I: The dialectical principle of the unity of oppositesPhilosophia 9 (2): 189-217. 1980.
-
42
-
39Determinateness 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
-
15BibliographyIn 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.
-
14A highly efficient "transfinite recursive definitions" axiom for set theoryNotre Dame Journal of Formal Logic 22 (1): 63-75. 1981.
-
9Proof, 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.
-
Southern Illinois University EdwardsvilleRetired faculty
Edwardsville, Illinois, United States of America
Areas of Interest
Metaphysics |
Logic and Philosophy of Logic |