Литература

Anderson A. R., В е 1 n а р N. D., Jr. Tautological entailments. Philosophical studies, 1962, 13, 9—24; cm. также: Ch. Ill of Anderson amp; Belnap, 1975.

Anderson A. R., Belnap N.

Anderson A. R., Belnap N. D., Jr. Entail- ment: the logic of relevance and necessity (vol. I). Princeton University Press, 1975.

Belnap N. D., Jr. An analysis of questions: preliminary report. System Development Corporation, Santa Monica, 1963.

Belnap N. D., Jr. A useful four-valued logic. Mo- dern uses of multiple-valued logic. Epstein G.,DunnJ. M. (eds.). Proceedings of the 1975, International Symposium on Multiple-valued Logic. Reidel, forthcoming, 1976.

Belnap N. D., Jr. How a Computer Should Think. Contemporary Aspects of Philosophy Proceedings of the Oxford International Symposium, 1976.

Belnap N. D., Jr., Steel Т. B., Jr. Erotetic logic: an introduction to the logic of questions and answers. Yale University Press, forthcoming, 1976.

Carnap R. Introduction of semantics. Cambridge, Mass., 1942.

Dunn J. M. The algebra of intensional logics (dissertation). University of Pittsburgh, 1966.

Dunn J. M. Intuitive semantics for first degree entail- ments and «coupled trees». Forthcoming, 1975 (?).

Dunn J, М., Belnap N. D., Jr. The substitution interpretation of the quantifiers, Nods, 1968, 2, 177—185.

H і n t і k k a J. Knowledge and belief. Cornell Press, 1962.

I s n e r D. W. An inferential processor for interacting with biomedical data using resticted natural language. Proceed і ngs of Spring Joint Computer Cinference, 1972, 1107— 1124.

I sner D. W. Understanding «Understanding» through representation and reasoning (dissertation). University of Pittsburgh, 1975.

К r і p к e S. Semantical analysis of modal logic I.

Routley R., Routley V. Semantics of first degree entailment. Nods, 1972, 6, 335—359.

Scott D. Outline of a mathematical theory of computation. Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems, 1970, 169—176.

Scott D. Continuous lattices: Toposes, algebraic geometry and logic. Springer lecture notes in mathematics, 274, 1972, 97—136.

Scott D. Models for various type-free calculi. Logic, methodology, and philosophy of science IV. Proceedings of the Fourth International Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1971. S u p p e s, H e n к і n, J u j a, M о і s і 1 (eds.). North-Holland, 1973.

Shapiro S.,Wand M. The relevance of relevance. Forthcoming, 1975 (?).

Van FraassenB. Presuppositions, supervaluations, and free logic. The logical way of doing things. Lambert K. (ed.), Yale University Press, 1969a.

Van Fraassen B. Facts and tautological entail- ments. The journal of philosophy, 1969, 66, 477—487; reprinted in Anderson and Belnap, 1975.