scientific article
From MaRDI portal
Publication:4011736
zbMath0751.03035MaRDI QIDQ4011736
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
representable cylindric algebrasequational theoryquasi-polyadic algebrascalculus with a Gentzen-type ruleHenkin-Monk- Tarski type-free semantics
Cylindric and polyadic algebras; relation algebras (03G15) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ How many varieties of cylindric algebras are there ⋮ Algebraization of quantifier logics, an introductory overview
This page was built for publication:
