On generalizing free algebras for a functor

DOI10.1093/LOGCOM/EXS016zbMath1325.08004OpenAlexW2131343001MaRDI QIDQ5300585

Samuel J. van Gool, Dion Coumans

Publication date: 27 June 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/117136

zbMATH Keywords

partial algebrasfree algebras

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45) Free algebras (08B20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Categories of algebras (08C05)

Related Items (2)

The bounded proof property via step algebras and step frames ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

This page was built for publication: On generalizing free algebras for a functor