Abstract

This is an abstract of the author’s dissertation written originally in Polish – its full version will appear in Acta Universitatis Wraticlaviensis. This paper is a contribution to the subject of matrix semantics, as originally presented by Lo´s and Suszko [2] and developed by W´ojcicki [3], [4]. By sentential logics we shall understand any pair , where C is a consequence operation on a sentential language L and: 1 o L is an absolutely free algebra of formulas generated by a denumerable set of sentential variables, 2 o C is structural, that is eC ⊆ C for all X ⊆ L and e ∈ End