scientific article; zbMATH DE number 3639621

zbMath0412.03041MaRDI QIDQ4198505

Willem J. Blok

Publication date: 1977

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

zbMATH Keywords

modal logicalgebraic logicdynamic logicHeyting algebrauniversal algebradynamic algebrascylindric algebrasfunctionally freefinitely generated free closure algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Abstract data types; algebraic specification (68Q65) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Free algebras (08B20) General topics in the theory of software (68N01) Cylindric and polyadic algebras; relation algebras (03G15) Algorithms in computer science (68W99)

Related Items (11)

Subalgebras of closure algebras ⋮ An algebraic theory of normal forms ⋮ Embeddings of implicative lattices and superintuitionistic logics ⋮ Stone space partitions indexed by a poset ⋮ Pretabular varieties of modal algebras ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Existentially closed closure algebras ⋮ Unnamed Item ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Intuitionistic logic and implicit definability ⋮ An effective representation for finitely generated free interior algebras

This page was built for publication: