DC pole | Wartość | Język |
dc.contributor.author | Połacik, Tomasz | - |
dc.date.accessioned | 2020-02-27T07:40:27Z | - |
dc.date.available | 2020-02-27T07:40:27Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | Studia Logica, Vol. 104, no. 2 (2016), s. 235-248 | pl_PL |
dc.identifier.issn | 0039-3215 | - |
dc.identifier.issn | 1572-8730 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12128/12862 | - |
dc.description.abstract | 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. | pl_PL |
dc.language.iso | en | pl_PL |
dc.rights | Uznanie autorstwa 3.0 Polska | * |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/pl/ | * |
dc.subject | Classical and intuitionistic first order theories | pl_PL |
dc.subject | Conservativity | pl_PL |
dc.subject | Kripke models | pl_PL |
dc.title | A semantic approach to conservativity | pl_PL |
dc.type | info:eu-repo/semantics/article | pl_PL |
dc.identifier.doi | 10.1007/s11225-015-9639-7 | - |
Pojawia się w kolekcji: | Artykuły (WNŚiT)
|