Skip to main content

Remarks on finitely based logics

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

Keywords

  • Finite Family
  • Heyting Algebra
  • Standard Rule
  • Consequence Operation
  • Equivalential Logic

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.00
Price excludes VAT (Canada)
  • 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

Learn about 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

    CrossRef  MathSciNet  MATH  Google Scholar 

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

    CrossRef  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

    CrossRef  MathSciNet  MATH  Google Scholar 

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

    CrossRef  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

    CrossRef  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

    CrossRef  MathSciNet  MATH  Google Scholar 

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

    CrossRef  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

    CrossRef  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

    CrossRef  MathSciNet  MATH  Google Scholar 

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

    CrossRef  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

Authors

Editor information

Editors and Affiliations

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