Title of article :
Free equivalential algebras
Author/Authors :
S?omczy?ska، نويسنده , , Katarzyna، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Abstract :
We effectively construct the finitely generated free equivalential algebras corresponding to the equivalential fragment of intuitionistic propositional logic.
Keywords :
Free algebras , Equivalence , Intuitionistic Logic , Equivalential algebras
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
