Re: soundness for RIF from Francois Bry on 2006-05-09 (public-rif-wg@w3.org from May 2006)

From: Francois Bry <bry@ifi.lmu.de>
Date: Tue, 09 May 2006 10:31:04 +0200
To: Sandro Hawke <sandro@w3.org>
CC: public-rif-wg@w3.org
Message-ID: <44605348.1060406@ifi.lmu.de>

Sandro Hawke wrote:
> I believe this use of the word "sound" is normal and correct for logic.
>   
Sound is used in logic for expressing that what can be proven using a
proof calculus is a logical consequence, ie corresponds to a model theory.

If the logic has no model theory, like many constructive logics,
especially Johansen's Minimal Logic, then there is no notion of
soundness for this logic.

Francois

Received on Tuesday, 9 May 2006 08:38:36 UTC