scientific article
From MaRDI portal
Publication:3731581
zbMath0598.03023MaRDI QIDQ3731581
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interpolation theoremamalgamationvarieties of closure algebrassuperintuitionistic logicspositive fragmentsmodal logics containing S4superamalgamationwell-presentable logics
Model-theoretic algebra (03C60) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)
This page was built for publication:
