The Basic Logic of Proofs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Sergei N. Artëmov, Tyko Straßen. The Basic Logic of Proofs. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 14-28, Springer, 1992.

The following publications are possibly variants of this publication:

The basic intuitionistic logic of proofsSergei N. Artëmov, Rosalie Iemhoff. JSYML, 72(2):439-451, 2007. [doi]

Syntactical Models and Fixed Points for the Basic Logic of ProofsTyko Straßen. AMAI, 12(3-4):291-322, 1994.

runs on WebDSL