scientific article
From MaRDI portal
Publication:3834035
zbMath0678.03006MaRDI QIDQ3834035
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessalgebraic framefirst-order languageintermediate predicate logicpseudo-relevance property
Related Items
On variable separation in modal and superintuitionistic logics, A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
