scientific article
From MaRDI portal
Publication:2906959
zbMath1277.03070MaRDI QIDQ2906959
Publication date: 5 September 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
institutionsabstract algebraic logicLeibniz operatoradmissible rulesequivalential logicsadmissible closure systemsadmissible equivalence systemsbehavioral theoremsequivalence systemsLeibniz congruence systems
This page was built for publication: