Linear Logic Papers by Andreas Blass
Edit Page
Report
Scan day: 05 March 2014 UTC
24
Virus safety - good
Description: Collection of downloadable papers on linear logic and game semantics by A. Blass.
Linear Logic papers of Andreas R. Blass Propositional Connectives and the Set Theory of the Continuum (CWI Quarterly (Special issue for SMC 50 jubilee) 9 (1996) 25-30) This talk is a survey of two topics of recent interest in mathematical logic, namely linear logic and cardinal characteristics of the continuum. I shall try to explain enough about each of them to be able to point out how they are connected. Since the underlying ideas of the two topics are quite different, I regard the existence of a connection as surprising.
Size: 529 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Linear Logic papers of Andreas R. Blass |
| Keywords: | |
| Description: | |
| IP-address: | 141.211.144.27 |
WHOIS Info
| NS | Name Servers: DNS1.ITD.UMICH.EDU 141.211.144.15 DNS2.ITD.UMICH.EDU 141.211.125.15 |
| WHOIS | |
| Date | activated: 07-Oct-1985 last updated: 14-Feb-2014 expires: 31-Jul-2014 |