scientific article; zbMATH DE number 5026317

zbMath1094.03016MaRDI QIDQ5467757

S. S. Shkil'nyak

Publication date: 24 May 2006

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

zbMATH Keywords

logicshierarchysequentcalculi

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

This page was built for publication: