REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
Autor: | RASGA, JOÃO, SERNADAS, CRISTINA, CARNIELLI, WALTER |
---|---|
Zdroj: | The Bulletin of Symbolic Logic, 2021 Mar 01. 27(1), 39-66. |
Databáze: | JSTOR Journals |
Externí odkaz: |