| Autor: |
Rasga, Joao, Sernadas, Cristina, Sernadas, Amilcar |
| Rok vydání: |
2016 |
| Předmět: |
|
| Zdroj: |
The Review of Symbolic Logic, Volume 9, Issue 4 December 2016, pp. 641-663 |
| Druh dokumentu: |
Working Paper |
| DOI: |
10.1017/S1755020316000241 |
| Popis: |
Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics. Structural completeness and decidability of the set of admissible rules are also shown to be preserved, the latter with no penalty on the time complexity. Examples are provided for the meet-combination of intermediate and modal logics. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
