DMTCS Proceedings, Computational Logic and Applications, CLA '05

Font Size:  Small  Medium  Large
DMTCS Conference vol AF (2005), pp. 87-96


Computational Logic and Applications, CLA '05

David, René and Gardy, Danièle and Lescanne, Pierre and Zaionc, Marek (eds.)

DMTCS Conference Volume AF (2005), pp. 87-96

author: Karim Nour
title: Classical Combinatory Logic
keywords: Combinatory logic, Lambda-calculus, Propositional classical logic
abstract: Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system ``à la Hilbert''. We present in this paper a combinatory logic which corresponds to propositional classical logic. This system is equivalent to the system
of Barbanera and Berardi.
  If your browser does not display the abstract correctly (because of the different mathematical symbols) you may look it up in the PostScript or PDF files.
reference: Karim Nour (2005), Classical Combinatory Logic, in Computational Logic and Applications, CLA '05, David, René and Gardy, Danièle and Lescanne, Pierre and Zaionc, Marek (eds.), Discrete Mathematics and Theoretical Computer Science Proceedings AF, pp. 87-96
bibtex: For a corresponding BibTeX entry, please consider our BibTeX-file.
ps.gz-source: (0 K)
ps-source: (0 K)
pdf-source: dmAF0107.pdf (0 K)

The first source gives you the `gzipped' PostScript, the second the plain PostScript and the third the format for the Adobe accrobat reader. Depending on the installation of your web browser, at least one of these should (after some amount of time) pop up a window for you that shows the full article. If this is not the case, you should contact your system administrator to install your browser correctly.

Due to limitations of your local software, the two formats may show up differently on your screen. If eg you use xpdf to visualize pdf, some of the graphics in the file may not come across. On the other hand, pdf has a capacity of giving links to sections, bibliography and external references that will not appear with PostScript.

Automatically produced on Mo Jun 26 14:59:09 CEST 2006 by gustedt

Valid XHTML 1.0 Transitional