Information Technology Reference
In-Depth Information
Beall, J.C., Brady, R., Dunn, J.M., Hazen, A.P., Mares, E., Meyer, R.K., Priest, G.,
Restall, G., Ripley, R., Slaney, J., Sylvan (formerly Routley, R.): On the Ternary
Relation and Conditionality. The Journal of Philosophical Logic 41, 595-612 (2012)
Belnap, N.D.: A Useful Four-valued Logic. In: Dunn, J.M., Epstein, G. (eds.) Modern
Uses of Multiple-Valued Logic, pp. 8-37. D. Reidel, Dordrecht (1977a)
Belnap, N.D.: How a Computer Should Think. In: Ryle, G. (ed.) Contemporary Aspects
of Philosophy, pp. 30-55. Oriel Press Ltd., Stocksfield (1977b)
van Benthem, J.: Review of “On when a semantics is not a semantics” by B. J.
Copeland. The Journal of Symbolic Logic 49, 994-995 (1984)
Bialynicki, A., Rasiowa, H.: On the Representation of Quasi-Boolean Algebras. Bulletin
de l'Academie Polonaize des Sciences 5, 259-261
Copeland, B.J.: On When a Semantics Is Not a Semantics: Some Reasons for Disliking
the Routley-Meyer Semantics for Relevance Logic. Journal of Philosophical Logic 8,
399-413 (1979)
Dunn, J.M.: The Algebra of Intensional Logics, Ph.D. Dissertation, University of Pitts-
burgh, University Microfilms (1966)
Dunn, J.M.: Natural Language versus Formal Language. In: Joint Symposium of the
Association for Symbolic Logic and the American Philosophical Association (De-
cember 1969), On-line with historical introduction at
http://www.philosophy.indiana.edu/people/papers/natvsformal.pdf
Dunn, J.M.: Intuitive Semantics for First Degree Entailments and Coupled Trees. Philo-
sophical Studies 29, 149-168 (1976)
Dunn, J.M.: Relevance Logic and Entailment. In: Gabbay, D., Guenthner, F. (eds.)
Handbook of Philosophical Logic, vol. 3, pp. 117-224. D. Reidel, Dordrecht (1986);
Updated as Dunn, J.M., Restall, G.: Relevance Logic. In: Gabbay, D., Guenthner,
F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 1-128. Kluwer
Academic Publishers (2002)
Dunn, J.M.: Star and Perp: Two Treatments of Negation. In: Tomberlin, J. (ed.) Philo-
sophical Perspectives. Language and Logic, vol. 7, pp. 331-357 (1993)
Dunn, J.M.: A Comparative Study of Various Semantical Treatments of Negation: A
History of Formal Negation. In: Gabbay, D., Wansing, H. (eds.) What is Negation,
pp. 23-61. Kluwer Academic Publishers (1999)
Dunn, J.M.: The Concept of Information and the Development of Modern Logic.
In:Stelzner,W.,Stockler, M. (eds.) Zwischen traditioneller und moderner Logik:
Nichtklassische Ansatze (Non-classical Approaches in the Transition from Tradi-
tional to Modern Logic), pp. 423-447. Mentis-Verlag, Paderborn (2001a)
Dunn, J.M.: Ternary Relational Semantics and Beyond: Programs as Data and Pro-
grams as Instructions. Logical Studies 7, 1-20 (2001b),
http://www.logic.ru/LogStud/
Dunn, J.M.: Representation of Relation Algebras Using Routley-Meyer Frames. In: An-
derson, C.A., Zeleny, M. (eds.) Logic, Meaning and Computation: Essays in Memory
of Alonzo Church. Draft in Indiana Univ. Logic Group Preprint Series, IULG-93-28,
pp. 77-108. Kluwer, Dordrecht (2001c)
Dunn, J.M.: Ternary Semantics for Dynamic Logic, Hoare Logic, Action Logic, etc.
In: Smirnov's Readings, vol. 4, pp. 70-71. Institute of Logic, Russian Academy of
Sciences (2003)
Dunn, J.M.: Information in Computer Science. In: van Benthem, J., Adriaans, P. (eds.)
Handbook of the Philosophy of Information, pp. 581-608. Elsievier, Amsterdam
(2008)
Dunn, J.M., Meyer, R.K.: Combinatory Logic and Structurally Free Logic. Journal of
the Interest Group in Pure and Applied Logic 5, 505-537 (1997)
 
Search WWH ::




Custom Search