O związkach między uproszczoną semantyką S. Kripkego dla systemów logiki modalnej a ujęciem algebraicznym syntaktyki tych systemów i ich semantyki
Abstrakt
The first part of this paper presents the syntax of several most important systems of contemporary modal propositional logic. The presentation is given in two versions: typical and algebraical. The second part deals with the semantics of the systems in question. Here one highlights especially this semantics which is often regarded in texts as philosophically crucial. The paper seeks to give, as it seems, exhaustive metalogical and strictly logical analyses, which show the relations between the models of set theory, which occur in S. Kripke's semantics, and appropriate algebraic models. The formalization of the algebraic theorems which deal with the completeness of the systems under analysis is the central aim of the third part of this paper.
Copyright (c) 1995 Roczniki Filozoficzne
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.