scientific article; zbMATH DE number 2209823
From MaRDI portal
Publication:5692799
zbMath1073.03525MaRDI QIDQ5692799
Yaroslav Shramko, Dmitry Zaitsev
Publication date: 28 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
Correspondence analysis and automated proof-searching for first degree entailment ⋮ Unnamed Item ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics
This page was built for publication:
