scientific article; zbMATH DE number 1746563

zbMath0989.03015MaRDI QIDQ4530732

V. R. Kiyatkin, Tahsin Oner, Vladimir Vladimirovich Rybakov

Publication date: 28 May 2002

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

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

zbMATH Keywords

residual finitenessadmissible inference rule

Mathematics Subject Classification ID

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

Related Items (1)

Hereditarily structurally complete superintuitionistic deductive systems

This page was built for publication: