[FOM] intuitionistic logic and symmetry
David J. Pym
d.j.pym at bath.ac.uk
Mon Jan 30 04:53:54 EST 2006
The following papers, that are related to this topic, may be of some
interest:
C. Führmann and D. Pym.
On the Geometry of Interaction for Classical Logic (Extended Abstract).
Proc. LICS 04, IEEE Computer Society Press, 2004, pp. 211-220.
C. Führmann and D. Pym.
Order-enriched categorical models of the classical sequent calculus.
Journal of Pure and Applied Algebra 204(1), 21-78, January 2006.
C. Führmann and D. Pym.
On categorical models of classical logic and the geometry of interaction.
Manuscript, submitted, January 2005.
The last of the three, in particular, discusses some aspects of the place
of intuitionistic logic (via Dummett's multiple-conclusioned calculus) in
this setting.
Please see http://www.cs.bath.ac.uk/~pym/recent.html for preprints.
David Pym
--
Prof. David J. Pym Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation Facsimile: +44 (0)1 225 38 3493
University of Bath Email: d.j.pym at bath.ac.uk
Bath BA2 7AY, England, U.K. Web: www.bath.ac.uk/~cssdjp
Principal Scientist Telephone: +44 (0) 117 312 8012
Trusted Systems Lab Facsimile: +44 (0) 117 312 9250
HP Labs Email: david.pym at hp.com
Bristol, U.K. Web: www.hpl.hp.com
More information about the FOM
mailing list