Skip to main content
SpringerLink
Log in

Remarks on a survey article on many valued logic by A. Urquhart

  • 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. D. J. Brown and R. Suszko, Abstract Logics, Dissertationes Mathematicae CII, PWN, Warsaw, 1973.

    Google Scholar 

  2. J. Czelakowski, Remarks on finitely based logics, Proceedings of Logic Colloquium '83, Aachen, Lecture Notes in Mathematics, Vol. 1103, Springer Verlag, pp. 147–168.

  3. J. Czelakowski, Model-Theoretic Methods in Methodology of Propositional Calculi, IFiS, Polish Academy of Sciences, Warsaw, 1980.

    Google Scholar 

  4. G. Gentzen, Untersuchungen über das logische Schließen, Math. Z. 39 (1934/35), pp. 176–210, 405–431.

    Google Scholar 

  5. R. Giles, A non-classical logic for physics, Studia Logica 33 (1974), pp. 397–415.

    Google Scholar 

  6. R. Giles, A pragmatic approach to the formalization of empirical theories, Formal Methods in the Methodology of Empirical Sciences, Przełęcki, Szaniawski, Wójcicki (eds.), pp. 113—135, D. Reidel and Ossolineum, 1976.

  7. R. Giles, A logic for subjective belief, Foundation of Probability Theory, Statistical Inference and Statistical Theories of Science, Harper and Hooker (eds.), Vol. I, pp. 41–72, D. Reidel, 1976.

  8. V. N. Grishin, A nonstandard logic and its application to set theory, Studies in Formalized Languages and Nonclassical Logics, “Nauka”, Moscow, 1974, pp. 135–171 (in Russian).

    Google Scholar 

  9. V. N. Grishin, The algebraic semantics of logic without contraction, Studies in Set Theory and Nonclassical Logics, “Nauka”, Moscow, 1976, pp. 247–264 (in Russian).

    Google Scholar 

  10. V. N. Grishin, Predicate and set-theoretical calculi based on logic without contractions, Math. USSR Izvestija, Vol. 18 (1982), No. 1, pp. 41–59 (Russian original in Izv. Akad. Nauk SSSR, Ser. Mat. Vol. 45, No. 1 (1981)).

    Google Scholar 

  11. D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III: Alternatives to Classical Logic, D. Reidel Publishing Company, Dordrecht, 1986.

    Google Scholar 

  12. I. Johansson, Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus, Compositio Math. 4 (1936), pp. 119–136.

    Google Scholar 

  13. J. Ketonen and E. Weyrauch, A decidable fragment of predicate calculus, Theoretical Computer Science 32 (1984), pp. 297–307.

    Google Scholar 

  14. J. Łoś and R. Suszko, Remarks on sentential logic, Indagationes Mathematicae 20 (1958), pp. 178–183.

    Google Scholar 

  15. D. Scott, Completeness and axiomatizability in many-valued logic, Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, Vol. XXV, Amer. Math. Soc., Rhode Island, 1974.

    Google Scholar 

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

    Google Scholar 

  17. A. Tarski, Fundamentale Begriffe der Methodologie der Deductiven Wissenshaften, Monatshefte für Math. und Ph. 37 (1930), pp. 361–404.

    Google Scholar 

  18. A. Urquhart, A finite matrix whose consequence relation is not finitely axiomatizable, Reports on Mathematical Logic 9 (1977), pp. 71.

    Google Scholar 

  19. H. Wang, A Survey of Mathematical Logic, North-Holland Publishing Company, Amsterdam, 1963.

    Google Scholar 

  20. R. B. White, A Demonstrably Consistent Type-Free Extension of the Logic BCK, July, 1985 (preprint).

  21. R. Wójcicki, Lectures on Propositional Calculi, Ossolineum, Warsaw, 1984.

    Google Scholar 

  22. A. Wroński, On cardinalities of matrices strongly adequate for the intuitionistic propositional logic, Reports on Mathematical Logic 3 (1974), pp. 67–72.

    Google Scholar 

  23. A. Wroński, On finitely based consequence operations, Studia Logica 35 (1976), pp. 453–458.

    Google Scholar 

  24. A. Wroński, A three element matrix whose consequence operation is not finitely based, Bulletin of the Section of Logic, Polish Academy of Sciences 8 (1979), pp. 68–71.

    Google Scholar 

  25. J. Zygmunt, An Essay in Matrix Semantics for Consequence Relations, Acta Universitatis Wratislaviensis No. 741, Wrocław, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Logic Institute of Philosophy, Jagiellonian University, Kraków, Poland

    Andrzej Wroński

Authors
  1. Andrzej Wroński
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper has been written during the author's stay in Salzburg on invitation from Institut für Wissenschaftstheorie, Internationales Forschungszentrum für Grundfragen der Wissenschaften. The author wishes to thank his host Professor Paul Weingartner for creating excellent working conditions, for inspiring discussions and for his precious help.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wroński, A. Remarks on a survey article on many valued logic by A. Urquhart. Stud Logica 46, 275–278 (1987). https://doi.org/10.1007/BF00372552

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation