scientific article
From MaRDI portal
Publication:3312202
zbMath0531.03010MaRDI QIDQ3312202
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relational semanticsintuitionistic logicintermediate logicsminimal logicintermediate predicate logicspositive logicintermediate propositional logicnegative logicsnegation-free logics
This page was built for publication: