The Sequent Variant of System R

  • V. M. Popov
Part of the Synthese Library book series (SYLI, volume 257)


There is a sequent formulation (calculus Gd) of one of the important and most well-motivated relevant systems—system R—suggested here. The indexing (by means of index d) of formulas occurring in sequents of the calculi GRd is stipulated by two natural (from the viewpoint of relevant logic) demands. These demands are the following:
  1. 1.

    it is necessary to distinguish the conjunctive and implicative connections between the members of an antecedent of a sequent;

  2. 2.

    it is necessary to distinguish the disjunctive and implicative- negative connections between the members of succedent of sequent.



Finite Sequence Regular Sequence Sequent Calculus Relevant Logic Relevant System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. Anderson and N. Belnap. Entailment, Vol 1. Princeton, 1975.Google Scholar
  2. [2]
    V. A. Smirnov. Formal deduction and logical calculi, Moscow, 1972. (In Russian)Google Scholar
  3. [3]
    P. I. Bystrov. Embedding of relevant system E into tableaux-calculus of indexed formuli. Many valued, relevant and paraconsistent logics. Proceedings of the Scientific Seminar in Logic of the Institute of Philosophy, pp. 20–26, Moscow, 1984. (In Russian)Google Scholar
  4. [4]
    P. I. Bystrov. The calculi of indexed sequents in relevant logic. Intensional logics and logical structure of theories (Abstracts of the 4th Soviet—Finnish Symposium in Logic, pp. 31–32, Tbilisi, 1985. (In Russian)Google Scholar
  5. [5]
    P. I. Bystrov. Tableaux variants of some modal and relevant systems. Bulletin of the Section of Logic, 17, Warszaw-Lódz, 1988.Google Scholar
  6. [6]
    A. Urquhart. The undecidability of entailment and relevant implication. Journal of Symbolic Logic, 49, 1059–1073, 1984.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1996

Authors and Affiliations

  • V. M. Popov

There are no affiliations available

Personalised recommendations