Skip to main content
SpringerLink
Log in

Remarks on finitely based logics

  • Conference paper
  • First Online:
Models and Sets

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1103))

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S.L. Bloom, Some theorems on structural consequence operations, Studia Logica 34(1975), 1–9

    Article  MathSciNet  MATH  Google Scholar 

  2. J. Czelakowski, Reduced products of logical matrices, Studia Logica 39(1980), 19–43

    Article  MathSciNet  MATH  Google Scholar 

  3. —, Equivalential logics, Part I, Studia Logica, Vol.40, No.3(1981), 227–236; Part II, ibidem, Vol.40, No.4(1981), 355–372

    Article  MathSciNet  MATH  Google Scholar 

  4. —, Matrices, primitive satisfaction and finitely based logics, Studia Logica, Vol.42, No.1(1983), 89–104

    Article  MathSciNet  MATH  Google Scholar 

  5. —Filter distributive logics, to appear in Studia Logica, Vol.43, No.4(1984)

    Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  7. G. Grätzer, Universal Algebra (second edition), Van Nostrand, Princeton, New Jersey, 1978

    MATH  Google Scholar 

  8. B. Jónsson, Appendix 3 to [7]-Congruence varieties

    Google Scholar 

  9. J. Łoś and R. Suszko, Remarks on sentential logics, Indagationes Mathematicae 20(1958), 177–183

    MathSciNet  MATH  Google Scholar 

  10. C.G. McKay, On finite logics, Indagationes Mathematicae 29(1967), 363–365

    Article  MathSciNet  MATH  Google Scholar 

  11. T. Prucnal and A. Wroński, An algebraic characterization of the notion of structural completeness, Bulletin of the Section of Logic (IFiS PAN), Vol.3(1974), 30–33

    MathSciNet  Google Scholar 

  12. H. Rasiowa, An Algebraic Approach to Non-Classical Logics, PWN-North-Holland, Warszawa-Amsterdam 1974

    MATH  Google Scholar 

  13. W. Rautenberg, 2-element matrices, Studia Logica, Vol.40, No.4 (1981), 315–353

    Article  MathSciNet  MATH  Google Scholar 

  14. D.J. Shoesmith and T.J. Smiley, Multiple-Conclusion Logic, Cambridge University Press, Cambridge 1978

    Book  MATH  Google Scholar 

  15. A. Tarski, Fundamental concepts of the methodology of the deductive sciences, in: Logic, Semantics and Metamathematics, Oxford 1956

    Google Scholar 

  16. A.S. Troelstra, On intermediate propositional logics, Indagationes Mathematicae 27(1965), 141–152

    Article  MathSciNet  MATH  Google Scholar 

  17. A. Urquhardt, A finite matrix whose consequence relation is not finitely axiomatizable, Reports on Mathematical Logic 9(1977), 71–73

    MathSciNet  MATH  Google Scholar 

  18. P. Wojtylak, Strongly finite logics: finite axiomatizability and the problem of supremum, Bulletin of the Section of Logic (IFiS PAN), vol.8(1979), 99–111

    MathSciNet  MATH  Google Scholar 

  19. R. Wójcicki, Matrix approach in sentential calculi, Studia Logica 32(1973), 7–37

    Article  MathSciNet  MATH  Google Scholar 

  20. A. Wroński, On finitely based congruence operations, Studia Logica 35(1976), 453–458

    Article  MathSciNet  MATH  Google Scholar 

  21. A. Wroński, A three-element matrix whose consequence operation is not finitely based, Bulletin of the Section of Logic (IFiS PAN), Vol.8(1978), 68–71

    MathSciNet  MATH  Google Scholar 

  22. J. Zygmunt, On structural entailment relation, to appear in Acta Universitatis Wratislaviensis

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Philosophy and Sociology The Section of Logic, Polish Academy of Sciences, Piotrkowska 179, 90-447, Łódź, Poland

    Janusz Czelakowski

Authors
  1. Janusz Czelakowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gert H. Müller Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag

About this paper

Cite this paper

Czelakowski, J. (1984). Remarks on finitely based logics. In: Müller, G.H., Richter, M.M. (eds) Models and Sets. Lecture Notes in Mathematics, vol 1103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099385

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13900-3

  • Online ISBN: 978-3-540-39115-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation