Structural entailment
From MaRDI portal
Publication:818706
DOI10.1007/s00012-005-1944-yzbMath1090.08009OpenAlexW4235166630MaRDI QIDQ818706
Ross Willard, Miroslav Haviar, Brian A. Davey
Publication date: 21 March 2006
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-005-1944-y
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Quasivarieties (08C15) Categories of algebras (08C05)
Related Items (11)
THE LATTICE OF ALTER EGOS ⋮ DUALIZABLE BUT NOT FULLY DUALIZABLE ALGEBRAS ⋮ New-from-old full dualities via axiomatisation ⋮ Piggyback dualities revisited ⋮ Using coloured ordered sets to study finite-level full dualities ⋮ Full dualisability is independent of the generating algebra ⋮ Transferral of entailment in duality theory: Dualisability ⋮ COUNTING THE RELATIONS COMPATIBLE WITH AN ALGEBRA ⋮ On selected developments in the theory of natural dualities ⋮ Transferral of entailment in duality theory II: Strong dualisability ⋮ There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
This page was built for publication: Structural entailment
