Skip to main content
SpringerLink
Log in

Deduction theorems for RM and its extensions

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper logics defined by finite Sugihara matrices, as well as RM itself, are discussed both in their matrix (semantical) and in syntactical version. For each such a logic a deduction theorem is proved, and a few applications are given.

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. J. M. Dunn, Algebraic completeness results for R-mingle and its extensions, Journal of Symbolic Logic 35 (1970), pp. 1–13.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Section of Logic, Institute of Philosophy and Sociology Polish Academy of Science, Poland

    Marek Tokarz

Authors
  1. Marek Tokarz
    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

Tokarz, M. Deduction theorems for RM and its extensions. Stud Logica 38, 105–111 (1979). https://doi.org/10.1007/BF00370436

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation