scientific article
From MaRDI portal
Publication:3760522
zbMath0623.03032MaRDI QIDQ3760522
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite axiomatizationintermediate logicspropositional logicsfinite matricesmodal logics containing S4Łukasiewicz's logics
This page was built for publication: