Three-element non-finitely axiomatizable matrices and term-equivalence
Languages of publication
It was shown in  that all two-element matrices are finitely based independently of their classification by term equivalence (the Post classification). In particular, each 2-valued matrix is finitely axiomatizable. We show below that for certain two not finitely axiomatizable 3-valued matrices this property is also preserved under term equivalence. The general problem, whether finite axiomatizability of a finite matrix is preserved under term-equivalence, is still open, as well as the related problem as to whether the consequence operation of a finite matrix is finitely based.
- Blok, W., and D. Pigozzi, “Potoalgebraic logics”, Studia Logica, 45 (1986): 337–369.
- Blok, W., and D. Pigozzi, Algebraizable Logics, Memoirs of the AMS, 396, Providence, 1989. DOI: 10.1090/memo/0396
- Blok, W., D. Pigozzi, “Algebraic semantics for universal Horn logic without equality”, in: Universal Algebra abd Quasigroup Theory, A. Romanowska and J.D.H.Smith (eds.), Heldermann Verlag, Berlin, 1992.
- Dziobiak, W., “A finite matrix whose set of tautologies is not finitely axiomatizable”, Reports on Mathematical Logic, 25 (1991): 113–117.
- Herrmann, B., and W. Rautenberg, “Finite replacement and Finite Hilbert-style axiomatizability”, Mathematical Logic Quarterly, 38 (1992): 327–344.
- Pałasińska, K., “Three-element nonfinitely axiomatizable matrices”, Studia Logica, 53 (1994): 361–372.
- Pałasińska, K., “No matrix term-equivalent to Wroński’s 3-element matrix is finitely based”, Studia Logica, 77 (2004): 413–423.
- Rautenberg, W., “Two-element matrices”, Studia Logica, 40 (1981): 315–353.
- Wojtylak, P., “Strongly finite logics: Finite axiomatizability and the problem of supremum”, Bulletin of the Section of Logic, 8 (1979): 99–111.
- Wojtylak, P., “An example of a finite though finitely non-axiomatizable matrix”, Reports on Mathematical Logic, 17 (1984): 39–46.
- Wroński, A., “A Three-element matrix whose consequence operation is not finitely based”, Bulletin of the Section of Logic, 8 (1979): 68–71.
Publication order reference