scientific article; zbMATH DE number 2058984

zbMath1035.03535MaRDI QIDQ4455512

S. S. Shkil'nyak

Publication date: 16 March 2004

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

zbMATH Keywords

sequent calculineoclassical logics

Mathematics Subject Classification ID

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

This page was built for publication: