scientific article; zbMATH DE number 3606452
From MaRDI portal
Publication:4172049
zbMath0391.03026MaRDI QIDQ4172049
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Structure theory of algebraic structures (08A05)
Related Items (4)
A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) ⋮ Intuitionistic diagonalizable algebras ⋮ Fixed point algebras ⋮ Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
This page was built for publication:
