کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662483 1633528 2008 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Free equivalential algebras
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Free equivalential algebras
چکیده انگلیسی

We effectively construct the finitely generated free equivalential algebras corresponding to the equivalential fragment of intuitionistic propositional logic.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 155, Issue 2, September 2008, Pages 86-96