Abstract
Motivated by a question of W. Rautenberg, we prove that any matrix that is term-equivalent to the well-known nonfinitely based matrix of A. Wroński is itself also nonfinitely based.
Similar content being viewed by others
References
Herrmann, B., and W. Rautenberg, 'Finite Replacement and Finite Hilbert-style axiomatizability', Z. Math. Logik Grundlagen Math. 38(1992), 327–344.
Rautenberg, W., 'Two-element matrices', Studia Logica 40 (1981), 315–353.
Rautenberg, W., 'Axiomatizing Logics closely related to varieties', Studia Logica 50 (1991), 607–622.
Rautenberg, W., 'Finite axiomatizability of logics', Workshop on Abstract Algebraic Logic, Centre de Recerca Matemática, Quadrens, núm. 10/gener 1998 (abstracts).
Wroński, A., 'A three-element matrix whose consequence operator in not finitely based', Buletin of the Section of Logic PAN, Vol. 8(2), 68–71.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pałasińska, K. No Matrix Term-Equivalent to Wroński's 3-element Matrix is Finitely Based. Studia Logica 77, 413–423 (2004). https://doi.org/10.1023/B:STUD.0000039032.60684.88
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000039032.60684.88