Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4); Tue, 26 Jan 1993 02:04:52 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA01732; Mon, 25 Jan 93 17:51:24 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from eng.ie.cuhk.hk by ted.cs.uidaho.edu (16.6/1.34) id AA01727; Mon, 25 Jan 93 17:51:04 -0800 Received: by eng.ie.cuhk.hk (5.57/Ultrix3.0-C) id AA27457; Tue, 26 Jan 93 09:52:43 -0800 Date: Tue, 26 Jan 93 09:52:43 -0800 From: mklai@hk.cuhk.ie (Edmund M K Lai) Message-Id: <9301261752.AA27457@eng.ie.cuhk.hk> To: info-hol@edu.uidaho.cs.ted Subject: An Elementary Question Could anyone please tell me what is the advantage of using higher order logic as defined by HOL compared with some other logics? Edmund Lai Department of Information Engineering The University of Hong Kong Shatin, N.T., Hong Kong email: mklai@ie.cuhk.hk