Studia Logica

, Volume 101, Issue 5, pp 1115–1141 | Cite as

Some Metacomplete Relevant Modal Logics

Article

Abstract

A logic is called metacomplete if formulas that are true in a certain preferred interpretation of that logic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of γ and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based on contractionless relevant logics and their neighbours using Slaney’s metavaluational technique.

Keywords

Relevant modal logic Metacompleteness Primeness Consistency Admissibility of γ 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Brady R. T. (ed.), Relevant Logics and Their Rivals, Volume II, Ashgate Publishing Limited, Aldershot, 2003.Google Scholar
  2. 2.
    Chagrov A. V., Zakharyaschev M. V.: Modal Logics. Clarendon Press, Oxford (1997)Google Scholar
  3. 3.
    Kleene S. C.: Disjunction and existence under implication in elementary intuitionistic formalisms. Journal of Symbolic Logic 27, 11–18 (1962)CrossRefGoogle Scholar
  4. 4.
    Meyer R. K.: Metacompleteness. Notre Dame Journal of Formal Logic 17, 501–516 (1976)CrossRefGoogle Scholar
  5. 5.
    Seki T.: A Sahlqvist theorem for relevant modal logics. Studia Logica 73, 383–411 (2003)CrossRefGoogle Scholar
  6. 6.
    Seki T.: The γ-admissibility of relevant modal logics I—the method of normal models. Studia Logica 97, 199–231 (2011)CrossRefGoogle Scholar
  7. 7.
    Seki T.: The γ-admissibility of relevant modal logics II—the method using metavaluations. Studia Logica 97, 375–407 (2011)Google Scholar
  8. 8.
    Seki T.: An algebraic proof of the admissibility of γ in relevant modal logics. Studia Logica 100(6), 1149–1174 (2012)CrossRefGoogle Scholar
  9. 9.
    Slaney J.K.: A Metacompleteness theorem for contraction-free relevant logics. Studia Logica 43, 159–168 (1984)CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.University Evaluation Center, Headquarters for Strategy and PlanningNiigata UniversityNiigata CityJapan

Personalised recommendations