scientific article; zbMATH DE number 1231529

zbMath0908.03006MaRDI QIDQ4222844

Jean-Baptiste Joinet, Harold Schellinx, Vincent Danos

Publication date: 14 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#schellinx

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational isomorphismfragment of classical sequent calculus LKGirard's denotational semantics for classical logicreversibility properties of classical rules

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: