scientific article; zbMATH DE number 1301758

zbMath0928.03007MaRDI QIDQ4246973

Rajeev Goré, Jeremy E. Dawson

Publication date: 12 January 2000

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

zbMATH Keywords

relation algebraproof systemsdescription logicsproof searchdisplay logicautomated deductionautomatic cut-elimination procedureinteractive proof assistantIsabelle theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Cylindric and polyadic algebras; relation algebras (03G15)

Uses Software

• Isabelle
• RALL

This page was built for publication: