Article View: sci.logic
Article #103Interpreting modalities as subalgebras
From: Koen Versmissen
Date: Wed, 08 Apr 1992 09:27
Date: Wed, 08 Apr 1992 09:27
17 lines
1166 bytes
1166 bytes
In categorial grammar, the analogue of the S4 universal modality has been introduced by several authors for linguistic reasons. Categorial grammars have a semantics in terms of semigroups. The proposed interpretation for the box is in terms of a subalgebra: fix a subalgebra S of the semigroup. Then, the interpretation of \Box A is the intersection of S with the interpretation of A. This semantics is said to be 'standard' in modal logic, but I haven't been able to find this in the literature. Does anybody know a suitable reference? Thanks, Koen. -- Koen Versmissen, OTS, RU Utrecht, Trans 10, 3512 JK Utrecht, NL E-mail: Koen.Versmissen@let.ruu.nl...............Tel: 030-392057 __ "Listen, in order to maintain airspeed velocity, a swallow needs to flap
Technical Details
Message-ID:
<versmiss.702725272@ruulo3>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!alchemy!ruulch!ruulo3!versmissShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!alchemy!ruulch!ruulo3!versmiss From: versmiss@let.ruu.nl (Koen Versmissen) Newsgroups: sci.logic Subject: Interpreting modalities as subalgebras Keywords: modal logic semantics categorial grammar Message-ID: <versmiss.702725272@ruulo3> Date: 8 Apr 92 09:27:52 GMT Organization: Faculty of Arts, Utrecht University, The Netherlands Lines: 17