A three element matrix whose consequence operation is not finitely based

Bulletin of the Section of Logic, Tom 8, Numer 2 (1979) s. 68-70
Andrzej Wroński

 

do góry