scientific article
From MaRDI portal
Publication:3772177
zbMath0634.03005MaRDI QIDQ3772177
Vladimir Vladimirovich Rybakov
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicdecidabilityclosure algebraintuitionistic logicintroductionintermediate logicpseudoboolean algebraalgebraic model theory
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
This page was built for publication:
