scientific article; zbMATH DE number 1086668
From MaRDI portal
Publication:4362918
zbMath0881.03040MaRDI QIDQ4362918
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relation algebrasaddition of structural rulescut-free Gentzen-style calculusextension of display logic
Cut-elimination and normal-form theorems (03F05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (1)
This page was built for publication:
