Title of article :
DESCRIBING A BASIS IN SEMIREDUCED FORM FOR INFERENCE RULES OF INTUITIONISTIC LOGIC
Author/Authors :
Rybakov، V. V. نويسنده , , Terziler، M. نويسنده , , Rimatskii، V. V. نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Abstract :
It is shown that a set of all rules in semireduced form whose premises satisfy collection of specific conditions form a basis for all rules admissible in IPC.
Keywords :
Film formation , morphology , surfactants , Plasticisers , Pigment volume fraction , Polymer latex , drying
Journal title :
Algebra and Logic
Journal title :
Algebra and Logic
