[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