Skip to main content
Log in

Local deductions theorems

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The notion of local deduction theorem (which generalizes on the known instances of indeterminate deduction theorems, e.g. for the infinitely-valued Łukasiewicz logic C ) is defined. It is then shown that a given finitary non-pathological logic C admits the local deduction theorem iff the class Matr(C) of all matrices validating C has the C-filter extension property (Theorem II.1).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J. Czelakowski, Logical matrices, primitive satisfaction and finitely based logics, Studia Logica, Vol. 42, No. 1 (1983), pp. 89–104.

    Google Scholar 

  2. —, Filter-distributive logics, Studia Logica, Vol. 43, No. 4 (1984), pp. 353–377.

    Google Scholar 

  3. —, Algebraic aspects of deduction theorems, Studia Logica, Vol. 44, No. 4 (1985), pp. 369–387.

    Google Scholar 

  4. -, The congruence extension property and the problem of definability of principal congruences in a variety, to appear.

  5. W. Dzik and R. Suszko, On distributivity of closure systems, Bulletin of the Section of Logic, Vol. 6, No. 2 (1977), pp. 64–66.

    Google Scholar 

  6. L. S. Hay, Axiomatization of the infinite-valued predicate calculus, Journal of Symbolic Logic 28 (1963), pp. 77–86.

    Google Scholar 

  7. W. A. Pogorzelski, Przeglad twierdzeń o dedukcji dla rachunków zdań (in Polish), Studia Logica, Vol. 15 (1964), pp. 163–178.

    Google Scholar 

  8. P. Wojtylak, Mutual interpretability of sentential logics, Part II, Reports on Mathematical Logic, Vol. 12 (1981), pp. 51–66.

    Google Scholar 

  9. K. Wójcicki, On matrix representations of consequence operations of Łukasiewicz's sentential calculi, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 19, pp. 239–247. (Reprinted in the anthology: R. Wójcicki (ed.), Selected Papers on Łukasiewicz Sentential Calculi, Ossolineum, Wrocław 1977, pp. 101–111.)

Download references

Author information

Authors and Affiliations

Authors

Additional information

The content of this paper was presented in a talk at the Bulgarian-Polish Conference of Logic held at Sofia, Bulgaria, in September 1985 and in a talk given at the XXXI Conference of the History of Logic, Cracow, October 1985.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Czelakowski, J. Local deductions theorems. Stud Logica 45, 377–391 (1986). https://doi.org/10.1007/BF00370271

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370271

Keywords

Navigation