Skip to main content
SpringerLink
Log in

On Finitely-Valued Inference Systems

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A proof-theoretical analysis of finite-valuedness in the domain of cumulative inference systems is presented.

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

Similar content being viewed by others

References

  1. Avron, A., ‘On the Proof Theory of Natural Many-valued Logics’, pp. 1–9 in Eight European Summer School in Logic, Language and Information, Symposium on Proof Theory and Computational Aspects of Many-valued Logics, Prague (1996).

  2. Barwise, J. and J. Perry, Situations and Attitudes, The MIT Press (1983).

  3. LeŚniewski, S., ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik’, Fund. Math. 14 (1929), 1–81. English translation: in Stanisław Leśniewski: Collected Works (S. J. Surma, J. T. J. Srzednicki, and D. I. Barnett, eds.), PWN — Polish Scientific Publishers and Kluwer Academic Publishers (1992).

    Google Scholar 

  4. Łukasiewicz, J., ‘Logika dwuwartościowa’ (Two-Valued Logic), Przegląd Filozoficzny 23 (1921), 189–205. English translation in J. Łukasiewicz, Selected Works (L. Borkowski, ed.), North-Holland (1970).

    Google Scholar 

  5. Makinson, D., ‘General Patterns in Nonmonotonic Reasoning’, pp. 35–110 in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3, Nonmonotonic Reasoning and Uncertain Reasoning (D. M. Gabbay, C. J. Hogger, J. A. Robinson and D. Nute, eds.), Oxford University Press (1994).

  6. Malinowski, G., ‘Inferential Many-Valuedness’, pp. 79–85 in Philosophical Logic in Poland (J. Woleński, ed.), Kluwer Academic Publishers (1994).

  7. McNaughton, R. A., ‘Theorem About Infinite-Valued Sentential Logic’, J. Symbolic Logic 16 (1951), 1–13.

    Google Scholar 

  8. Stachniak, Z., ‘Nonmonotonic Theories and their Axiomatic Varieties’, J. Logic, Language and Information 4 (1995), 317–334.

    Google Scholar 

  9. Stachniak, Z., Resolution Proof Systems: An Algebraic Theory, Kluwer Academic Publishers (1996).

  10. Suszko, R., The Fregean Axiom and Polish Mathematical Logic in the 19208, Studia Logica 34 (1977), 377–380.

    Google Scholar 

  11. Thistlewaite, P. B., M. A. McRobbie, and R. K. Meyer, Automated Theorem-Proving in Non-Classical Logics, Pitman (1988).

  12. Urquhart, A., ‘Many-Valued Logic’, pp. 71–116 in Handbook of Philosophical Logic (D. Gabbay and F. Guenthner, eds.), Kluwer Academic Publishers (1994).

  13. WÓjcicki, R., Theory of Logical Calculi: Basic Theory of Consequence Operations, Kluwer Academic Publishers (1988).

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, York University, Toronto, Canada

    Zbigniew Stachniak

Authors
  1. Zbigniew Stachniak
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stachniak, Z. On Finitely-Valued Inference Systems. Studia Logica 61, 149–169 (1998). https://doi.org/10.1023/A:1005090516356

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005090516356

Search

Navigation