scientific article; zbMATH DE number 753780

zbMath0823.03033MaRDI QIDQ4698613

Seán Matthews

Publication date: 11 May 1995

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

zbMATH Keywords

cut-eliminationimplementation of the system \(\text{FS}_ 0\)

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (1)

Structural cut elimination. I: Intuitionistic and classical logic

This page was built for publication: