Murdoch Gabbay, Michael Gabbay. Substitution for Fraenkel-Mostowski foundations. In Frank Guerin, Wamberto Weber Vasconcelos, editors, AISB 2008 Convention: Communication, Interaction and Social Intelligence, 1st-4th April 2008, University of Aberdeen. Volume 12 of Computing & Philosophy, pages 65-72, AISB, 2008. [doi]
Abstract is missing.