Skip to main content
SpringerLink
Log in

Constructing denumerable matrices strongly adequate for pre-finite logics

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

Institutional subscriptions

References

  1. M. Dummett,A propositional calculus with denumerable matrix,Journal of Symbolic Logic, 24 (1959), pp. 97–106.

    Google Scholar 

  2. G. Grätzer,Lattice Theory, W. H. Freeman and Co., San Francisco, 1971.

    Google Scholar 

  3. T. Hosoi,On intermediate logics I,Journal of the Faculty of Science, University of Tokyo, Sec. 1, 14 (1967) pp. 293–312.

    Google Scholar 

  4. T. Hosoi andH. Ono,The intermediate logics on the second slice,Journal of Faculty of Science, University of Tokyo, Sec. 1A, 17 (1970) pp. 457–461.

    Google Scholar 

  5. V. A. Jankov,Some superconstructive propositional calculi,Doklady Akademii Nauk SSSR 151 (1963) pp. 796–798 =Soviet Mathematics, Doklady 4 (1963) pp. 1103–1105.

    Google Scholar 

  6. V. A. Jankov,The calculus of the weak “law of excluded middle”,Izwiestija Akademii Nauk SSSR, Ser. Mat. 32 (1968) pp. 1044–1051 =Mathematics of the USSR-Izwiestija 2 (1968) pp. 997–1004.

    Google Scholar 

  7. K. Kuratowski andA. Mostowski,Set theory, North-Holland, Amsterdam, 1967.

    Google Scholar 

  8. L. L. Maximova,Predtablicnyje superintuicjonistskije logiki,Algebra i logika 11 (1972) pp. 558–570.

    Google Scholar 

  9. S. Nagata,A series of succesive modifications of Peirce's rule,Proceedings of the Japan Academy 42 (1966) pp. 859–861.

    Google Scholar 

  10. H. Rasiowa andR. Sikorski,The mathematics of metamathematics, PWN, Warsaw, 1963.

    Google Scholar 

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

    Google Scholar 

  12. A. Wroński,On cardinalities of matrices strongly adequate for the intuitionistic propositional logic,Reports on Mathematical Logic 3 (1974) (to appear).

Download references

Author information

Authors and Affiliations

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

    Ewa Graczyńska & Andrzej Wroński

  2. Department of Logic, The Jagiellonian University, Cracow

    Ewa Graczyńska & Andrzej Wroński

Authors
  1. Ewa Graczyńska
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej Wroński
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 15 Julii 1974

Rights and permissions

Reprints and permissions

About this article

Cite this article

Graczyńska, E., Wroński, A. Constructing denumerable matrices strongly adequate for pre-finite logics. Stud Logica 33, 417–423 (1974). https://doi.org/10.1007/BF02123380

Download citation

  • Issue Date:

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

Keywords

Search

Navigation