SpringerLink
Log in

An Explicit Basis for WCP-Globally Admissible Inference Rules

  • Published:
Algebra and Logic Aims and scope

Inference rules are examined which are admissible immediately in all residually finite extensions of S4 possessing the weak cocover property. An explicit basis is found for such WCP-globally admissible rules. In case of tabular logics, the basis is finite, and for residually finite extensions, the independency of an explicit basis is proved.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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. P. Lorenzen, Einf¨uhrung in die Operative Logik und Mathematik, Grundlehren Math. Wiss., 78, Springer-Verlag, Berlin (1955).

  2. R. Harrop, “Concerning formulas of the types A → B ∨ C, A → ∃xB(x),” J. Symb. Log., 25, No. 1, 27-32 (1960).

    Article  MathSciNet  Google Scholar 

  3. G. E. Mints, “Derivability of admissible rules,” Zh. Sov. Mat., 6, No. 4, 417-421 (1976).

    Article  Google Scholar 

  4. J. Port, “The deducibilities of S5,” J. Phylos. Log., 10, No. 1, 409-422 (1981).

    Article  Google Scholar 

  5. H. Friedman, “One hundred and two problems in mathematical logic,” J. Symb. Log., 40, 113-129 (1975).

    Article  MathSciNet  Google Scholar 

  6. V. V. Rybakov, “A criterion for admissibility of rules in the modal system S4 and the intuitionistic logic,” Algebra and Logic, 23, No. 5, 369-384 (1984).

    Article  Google Scholar 

  7. V. V. Rybakov, Admissibility of Logical Inference Rules, Stud. Logic Found. Math., 136, Elsevier, Amsterdam (1997).

  8. A. I. Citkin, “Admissible rules of intuitionistic propositional logic,” Mat. Sb., 102(144), No. 2, 314-323 (1977).

  9. V. V. Rybakov, “Bases of admissible rules for logics S4 and Int,” Algebra and Logic, 24, No. 1, 55-68 (1985).

    Article  Google Scholar 

  10. V. V. Rimatskii, “Finite bases with respect to admissibility for modal logics of width 2,” Algebra and Logic, 38, No. 4, 237-247 (1999).

    Article  MathSciNet  Google Scholar 

  11. V. V. Rimatskii, “Bases of admissible rules for K-saturated logics,” Algebra and Logic, 47, No. 6, 420-425 (2008).

    Article  MathSciNet  Google Scholar 

  12. V. V. Rybakov, M. Terziler, and V. Rimazki, “A basis in semi-reduced form for admissible rules of the intuitionistic logic IPC,” Math. Log. Q., 46, No. 2, 207-218 (2000).

    Article  MathSciNet  Google Scholar 

  13. R. Iemhoff, “On the admissible rules of intuitionistic propositional logic,” J. Symb. Log., 66, No. 1, 281-294 (2001).

    Article  MathSciNet  Google Scholar 

  14. R. Iemhoff, “A(nother) characterization of intuitionistic propositional logic,” Ann. Pure Appl. Log., 113, Nos. 1-3, 161-173 (2002).

    MathSciNet  Google Scholar 

  15. V. V. Rybakov, “Construction of an explicit basis for rules admissible in modal system S4,” Math. Log. Q., 47, No. 4, 441-446 (2001).

    Article  MathSciNet  Google Scholar 

  16. E. Jeřábek, “Admissible rules of modal logics,” J. Log. Comput., 15, No. 4, 411-431 (2005).

  17. E. Jeřábek, “Independent bases of admissible rules,” Log. J. IGPL, 16, No. 3, 249-267 (2008).

  18. V. V. Rimatsky, “An explicit basis for admissible rules of logics of finite width,” Zh. SFU, Mat., Fiz., 1, No. 1, 85-93 (2008).

  19. O. V. Lukina and V. V. Rimatskii, “An explicit basis for admissible inference rules of tabular logic,” Vest. KGU, Fiz. Mat. N., No. 1, 68-71 (2006).

  20. V. V. Rimatskii and V. R. Kiyatkin, “Independent bases for admissible rules of pretabular modal logic and its extensions,” Sib. El. Mat. Izv., 10, 79-89 (2013); http://semr.math.nsc.ru/v10/p79-89.pdf.

  21. V. V. Rimatski and V. V. Rybakov, “A note on globally admissible inference rules for modal and superintuitionistic logics,” Bull. Sect. Log., Univ. Łódź, Dep. Log., 34, No. 2, 93-99 (2005).

  22. V. V. Rybakov, M. Terziler, and C. Genzer, “An essay on unification and inference rules for modal logics,” Bull. Sect. Log., Univ. Łódź, Dep. Log., 28, No. 3, 145-157 (1999).

Download references

Author information

Authors and Affiliations

  1. Siberian Federal University, Krasnoyarsk, Russia

    V. V. Rimatskii

Authors
  1. V. V. Rimatskii
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. V. Rimatskii.

Additional information

Translated from Algebra i Logika, Vol. 62, No. 2, pp. 219-246, March-April, 2023. Russian DOI: https://doi.org/10.33048/alglog.2023.62.204.

V. V. Rimatskii is supported by the Russian Science Foundation, project No. 23-21-00213.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rimatskii, V.V. An Explicit Basis for WCP-Globally Admissible Inference Rules. Algebra Logic 62, 148–165 (2023). https://doi.org/10.1007/s10469-024-09733-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-024-09733-6

Keywords

Search

Navigation