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: |
|
| 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: |
|