Skip to main content
SpringerLink
Log in

A note on direct products and ultraproducts of logical matrices

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this contribution we shall characterize matrix consequence operation determined by a direct product and an ultraproduct of a family of logical matrices. As an application we shall describe finite consequence operations with the help of ultrapowers.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. S. Jaśkowski,Recherches sur le système de la logique intuitioniste,Actes du Congrès International de Philosophie Scientifique VI.Philosophie des Mathématiques. Actualités Scientifiques et Industrielles 393 (1936), pp. 58–61.

    Google Scholar 

  2. J. Kalicki,On Tarski's method,Comptes Rendus Séances de la Société des Sciences et des Lettres de Varsovie, Classe III (1946).

  3. J. Łoś andR. Suszko,Remarks on sentential logics,Indagationes Mathematicae 20 (1958), pp. 177–183.

    Google Scholar 

  4. H. Rasiowa,O pewnym fragmencie implikacyjnego rachunku zdań,Studia Logica 3 (1955), pp. 208–222.

    Article  Google Scholar 

  5. S. J. Surma,Method of natural deduction in equivalential and equivalential-negational propositional calculus,Universitas Iagellonica Acta Scientarum Litterarumque, CCLXV,Schedae Logicae 6 (1971), pp. 55–68.

    Google Scholar 

  6. R. Wójcicki,Some remarks on the consequence operation in sentential logics,Fundamenta Mathematicae 58 (1970), pp. 289–297.

    Google Scholar 

  7. R. Wójcicki,The logic stronger then Łukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness,Studia Logica 33.2 (1974), pp. 201–214.

    Google Scholar 

  8. Z. Zawirski,Geneza i rozwój logiki intuicjonistycznej,Kwartalnik Filozoficzny 16 (1946), pp. 165–222.

    Google Scholar 

  9. J. Zygmunt,Direct products of consequence operations,Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology 1.4 (1972), pp. 61–63.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Section of Logic, Polish Academy of Sciences, Wrocław

    Jan Zygmunt

Authors
  1. Jan Zygmunt
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 30 Junii 1974

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zygmunt, J. A note on direct products and ultraproducts of logical matrices. Stud Logica 33, 349–357 (1974). https://doi.org/10.1007/BF02123376

Download citation

  • Issue Date:

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

Keywords

Search

Navigation