scientific article; zbMATH DE number 1086632

zbMath0883.03005MaRDI QIDQ4362881

Jules Desharnais, Bernard R. Hodgson, John Mullins

Publication date: 23 March 1998

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

zbMATH Keywords

sequent calculuslinear logicrelation algebrasalgebraic modelsrelational modelrelational operatorscyclic noncommutative propositional linear logic

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: