List of Articles Kripke model Open Access Article Abstract Page Full-Text 1 - Truth Values and Connectives in Some Non-Classical Logics P. Safari S. Salehi Open Access Article Abstract Page Full-Text 2 - Applications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops Gholamreza Sotudeh Ali Movaghar