| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662483 | Annals of Pure and Applied Logic | 2008 | 11 Pages |
Abstract
We effectively construct the finitely generated free equivalential algebras corresponding to the equivalential fragment of intuitionistic propositional logic.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
