scientific article; zbMATH DE number 1534490

zbMath0953.03032MaRDI QIDQ4517271

M. Terziller, V. R. Kiyatkin, Vladimir Vladimirovich Rybakov

Publication date: 21 November 2000

Full work available at URL: https://eudml.org/doc/187926

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

zbMATH Keywords

modal logicadmissible rulesuperintuitionistic logicindependent basis of rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Intermediate logics (03B55)

Related Items (1)

DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication: