http://hdl.handle.net/20.500.12128/12862
Tytuł: | A semantic approach to conservativity |
Autor: | Połacik, Tomasz |
Słowa kluczowe: | Classical and intuitionistic first order theories; Conservativity; Kripke models |
Data wydania: | 2016 |
Źródło: | Studia Logica, Vol. 104, no. 2 (2016), s. 235-248 |
Abstrakt: | The aim of this paper is to describe from a semantic perspective the problem of conservativity of classical first-order theories over their intuitionistic counterparts. In particular, we describe a class of formulae for which such conservativity results can be proven in case of any intuitionistic theory T which is complete with respect to a class of T-normal Kripke models. We also prove conservativity results for intuitionistic theories which are closed under the Friedman translation and complete with respect to a class of conversely well-founded Kripke models. The results can be applied to a wide class of intuitionistic theories and can be viewed as generalization of the results obtained by syntactic methods. |
URI: | http://hdl.handle.net/20.500.12128/12862 |
DOI: | 10.1007/s11225-015-9639-7 |
ISSN: | 0039-3215 1572-8730 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Polacik_A semantic_approach_to_conservativity.pdf | 466,49 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie Autorstwa 3.0 Polska Creative Commons