I shall endeavour to cover as many branches of many-valued logic and as much of the work done in these branches as space permits. Much must, of course, be omitted, and I should therefore like to refer to an excellent bibliography of many-valued logics by Nicholas Rescher in his book (Many-Valued Logic, McGraw Hill 51893,1969). This only covers publications to 1965, so I have given a few references (at the end of the text) to papers published since that date.
Unable to display preview. Download preview PDF.
- A complete list of publications on many-valued logics since 1965 would, of course, be far too long to he given here, but a few examples of the publications referred to in the text are given. Even a complete list of these publications would be somewhat lengthy and the omission of a paper from this list does not imply that it is considered to be un¬important. A few papers published before 1965 are included as they have considerable relevance to topics from many-valued logics discussed above, although they concern directly only 2-valued logic and are therefore omitted from Reseller’s bibliography.Google Scholar
- K. Gödel, ‘The Consistency of the Axiom of Choice and of the Generalised Continuum Hypothesis with the Axioms of Set Theory’, Ann. Math. Studies 3, Princeton, 1940.Google Scholar
- L. Kalmár, ‘Über die Axiomatisierbarkeit des Aussagenkalküls, Acta scientarum mathematicarum (Szeged)’, 7 (1935), 222–243.Google Scholar
- J. C. Munzio, ‘A Decision Process for 3-Valued Sheffer Functions, I and II’, Z. Math. Logik 16 (1970), 271–280 and 17 (1971), 97–114.Google Scholar
- A. Rose, ‘Formalisations de certains calculs propositionnels polyvalents à fonc- teurs variables au cas ou cerùtains valeurs sont surdésignées’, Comptes rendus (Paris) 262 (1966), 1233–1235.Google Scholar
- A. Rose, Formalisations of Some 0 -Valued Lukasiewicz Propositional Calculi, Proceedings of the Summer School in Logic, (Leeds, 1967 ), pp. 269–271 ( Springer, Berlin, 1968 ).Google Scholar
- J. B. Rosser, Simplified Independence Proofs, Boolean Valued Models of Set Theory, Academic Press, New York and London, 1969.Google Scholar
- D. Scott and R. Solovay, ‘Boolean Valued Models for Set Theory’, Proceedings of the American Mathematical Society Summer Inst. Axiomatic Set Theory 1967, Univ. of California, Los Angeles, Proc. Symp. Pure Math. 13 (1969).Google Scholar
- D. J. Shoesmith, Ph. D. Dissertation, University of Cambridge, 1962.Google Scholar
- S. Watanebe, Ph. D. Thesis, University of Manchester, 1974.Google Scholar