scientific article
From MaRDI portal
Publication:3953763
zbMath0492.03027MaRDI QIDQ3953763
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
implicative semi-latticesalgebraic completeness proof for the EK- fragment of positive propositional logicmeet semi-lattice with an additional operation of equivalence
Other algebras related to logic (03G25) Semilattices (06A12) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication:
