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]

Authors

Zuzana Haniková

This author has not been identified. Look up 'Zuzana Haniková' in Google

Petr Savický

This author has not been identified. Look up 'Petr Savický' in Google