modal set theory

Thread View: sci.logic

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Jack Campin Mon, 13 Apr 1992 19:24

#118

Author: Jack Campin
Date: Mon, 13 Apr 1992 19:24

22 lines
1538 bytes

It seems surprising that nobody here has yet mentioned Aldo Bressan's work.
He's been investigating modal set theories for years.  His book "A General
Interpreted Modal Calculus" (Yale UP, around 1973) describes a modal simple
type theory originally intended to analyze the modal issues arising in
Painleve's formulation of axiomatic classical mechanics; he later extended
this to a modal Morse-Kelley set theory and did some papers on
probabilistic set theories.  All these theories are, of course, intended to
describe empirical domains of discourse.

Daniel Gallin's thesis (published as a book around 1976, I forget where)
showed that Bressan's GIMC theory is in some sense inter-translatable with
Montague's Intensional Logic.  I don't know of any Montague-like analogue
of Bressan's later stuff.

Most of Bressan's papers are in the Rendiconti of the University of Padova
(his home turf).

-- 
--  Jack Campin    room G092, Computing Science Department, Glasgow University,
17 Lilybank Gardens, Glasgow G12 8RZ, Scotland   TEL: 041 339 8855 x6854 (work)
INTERNET: jack@dcs.glasgow.ac.uk or via nsfnet-relay.ac.uk    FAX: 041 330 4913
BANG!net: via mcsun and uknet     BITNET: via UKACRL    UUCP: jack@glasgow.uucp

Re: modal set theory

#119

Author: Bob Riemenschneider
Date: Mon, 13 Apr 1992 23:56

8 lines
847 bytes

In article <1992Apr13.192451.26064@dcs.glasgow.ac.uk> jack@dcs.glasgow.ac.uk (Jack Campin) writes:

   Daniel Gallin's thesis (published as a book around 1976, I forget where) ...

It's Volume 19 of North-Holland's "Mathematical Studies" series, published
in 1975.

								-- rar

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads