scientific article; zbMATH DE number 4177029
From MaRDI portal
Publication:3201036
zbMATH Open0715.03003MaRDI QIDQ3201036FDOQ3201036
Authors: Wolfgang Rautenberg
Publication date: 1990
Title of this publication is not available (Why is that?)
Recommendations
structural strengtheningsfinite matricesbinary Boolean functionscommon logic of binary connectivesdegree of maximality
Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22)
Cited In (3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201036)