scientific article

zbMath0602.03002MaRDI QIDQ3737415

Horoakira Ono

Publication date: 1985

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

zbMATH Keywords

embedding theoremcompleteness theoremKripke-type semanticsGrishin algebrasGentzen-type formal system

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

On the structure of varieties with equationally definable principal congruences. III