RE: "Semantics" vs. "No Semantics" from Gerd Wagner on 2006-05-08 (public-rif-wg@w3.org from May 2006)

From: Gerd Wagner <wagnerg@tu-cottbus.de>
Date: Tue, 9 May 2006 00:34:55 +0200
To: "'Peter F. Patel-Schneider'" <pfps@inf.unibz.it>
Cc: <public-rif-wg@w3.org>
Message-ID: <005201c672ef$a14dd2a0$55032b8d@TMGWAGNER>

> > Formal XQuery semantics are specified using RULES.  
> > Why can't we specify RIF semantics using rules?  
> 
> How would that be different from a proof theory?

It could be a "proof-theoretic semantics" in the style 
of natural deduction. In logic, as you probably know, 
this is considered to be an acceptable alternative 
to Tarski-style model-theoretic semantics.

-Gerd

Received on Monday, 8 May 2006 22:35:01 UTC