Advertisement

Studia Logica

, Volume 50, Issue 3–4, pp 607–622 | Cite as

Axiomatizing logics closely related to varieties

  • W. Rautenberg
Article

Abstract

Let V be a s.f.b. (strongly finitely based, see below) variety of algebras. The central result is Theorem 2 saying that the logic defined by all matrices (A, d) with d ε A ε V is finitely based iff the A ε V have 1st order definable cosets for their congruences. Theorem 3 states a similar axiomatization criterion for the logic determined by all matrices (A, εA), AV, ε a term which is constant in V. Applications are given in a series of examples.

Keywords

Mathematical Logic Computational Linguistic Central Result Similar Axiomatization Axiomatization Criterion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    W.J. Blok and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982), pp. 195–227.Google Scholar
  2. [2]
    C. Grätzer, H. Lakser, and J. Plonka, Joins and direct products of equational classes, Canadian Mathematical Bulletin 12 (1969), pp. 741–744.Google Scholar
  3. [3]
    B. Herrmann and W. Rautenberg, Axiomatization of the De Morgan type rules, Studia Logica 49, no. 3 (1990), pp. 333–343.Google Scholar
  4. [4]
    H. Rasiowa, On a certain fragment of the implicational sentential calculus (Polish), Studia Logica 3 (1955), pp. 208–222.Google Scholar
  5. [5]
    W. Rautenberg, Consequence relations of 2-element algebras, in Foundations of Logic and Linguistics, Plenum Press, New York 1985.Google Scholar
  6. [6]
    W. Rautenberg, Axiomatization of semigroup consequences, Archiv für Mathematische Logik und Grundlagenforschung 29 (1989), pp. 111–123.Google Scholar
  7. [7]
    W. Rautenberg, Strongly finitely based equational theories, to appear in Algebra Universalis.Google Scholar
  8. [8]
    R. Vaught, The elementary character of two notions from general algebra, in Essays on the Foundations of Mathematics, Magnum Press Jerusalem 1968.Google Scholar
  9. [9]
    R. Wójcicki, Theory of Logical Calculi, Kluwer Academic Publishers, Dortrecht 1988.Google Scholar
  10. [10]
    A. Wroński, A 3-valued matrix whose consequence is not finitely based, Bulletin of the Section of Logic 8 (1979), pp. 68–71.Google Scholar

Copyright information

© Polish Academy of Sciences 1991

Authors and Affiliations

  • W. Rautenberg
    • 1
  1. 1.II. Math. InstitutFreie UniversitätBerlin 33

Personalised recommendations