Some Metacomplete Relevant Modal Logics |
| |
Authors: | Takahiro Seki |
| |
Affiliation: | 1. University Evaluation Center, Headquarters for Strategy and Planning, Niigata University, 8050 Ikarashi 2-no-cho, Nishi-ku, Niigata City, 950-2181, Japan
|
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |
|