Distinguishing standard SBL-algebras with involutive negations by propositional formulas

Zuzana Haniková, Petr Savický. Distinguishing standard SBL-algebras with involutive negations by propositional formulas. Math. Log. Q., 54(6):579-596, 2008. [doi]

Abstract

Abstract is missing.