Studia Logica

, Volume 97, Issue 3, pp 351–383 | Cite as

The γ-admissibility of Relevant Modal Logics II — The Method using Metavaluations

Article
First Online:
Received:
Revised:

Abstract

The γ-admissibility is one of the most important problems in the realm of relevant logics. To prove the γ-admissibility, either the method of normal models or the method using metavaluations may be employed. The γ-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the γ-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This paper shows that γ is admissible for relevant modal logics with restricted Sahlqvist axioms in terms of the method using metavaluations.

Keywords

γ-admissibility relevant modal logic metavaluation Sahlqvist axiom 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dunn, J. M., and G. Restall, ‘Relevance logic’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edition, Vol. 6, Kluwer, Dordrecht, 2002, pp. 1–128.Google Scholar
  2. 2.
    Mares E.D.: ‘Classically complete modal relevant logics’. Mathematical Logic Quarterly 39, 165–177 (1993)CrossRefGoogle Scholar
  3. 3.
    Mares E.D., Meyer R.K.: ‘The admissibility of γ in R4’. Notre Dame Journal of Formal Logic 33, 197–206 (1992)CrossRefGoogle Scholar
  4. 4.
    Meyer R.K.: ‘Metacompleteness’. Notre Dame Journal of Formal Logic 17, 501–516 (1976)CrossRefGoogle Scholar
  5. 5.
    Routley R., Meyer R.K.: ‘The semantics of entailment II’. Journal of Philosophical Logic 1, 192–208 (1972)CrossRefGoogle Scholar
  6. 6.
    Routley R., Plumwood V., Meyer R.K., Brady R.T.: Relevant Logics and Their Rivals I. Ridgeview Publishing Company, Atascadero (1982)Google Scholar
  7. 7.
    Seki T.: ‘A Sahlqvist theorem for relevant modal logics’. Studia Logica 73, 383–411 (2003)CrossRefGoogle Scholar
  8. 8.
    Seki T.: ‘Completeness of relevant modal logics with disjunctive rules’. Reports on Mathematical Logic 44, 3–18 (2009)Google Scholar
  9. 9.
    Seki T.: ‘The γ-admissibility of relevant modal logics I — the method of normal models’. Studia Logica 97, 199–231 (2011)CrossRefGoogle Scholar
  10. 10.
    Seki, T., ‘Some metacomplete relevant modal logics’, in preparation.Google Scholar
  11. 11.
    Slaney J.K.: ‘A Metacompleteness theorem for contraction-free relevant logics’. Studia Logica 43, 159–168 (1984)CrossRefGoogle Scholar
  12. 12.
    Slaney J.K.: ‘Reduced models for relevant logics without WI’. Notre Dame Journal of Formal Logic 28, 395–407 (1987)CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

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

Personalised recommendations