论文信息 - Equivalential logics (II)

Equivalential logics (II)

In the first section logics with an algebraic semantics are investigated. Section 2 is devoted to subdirect products of matrices. There, among others we give the matrix counterpart of a theorem of Jónsson from universal algebra. Some positive results concerning logics with, finite degrees of maximality are presented in Section 3.

J. Czelakowski

[1] J. Łoś,et al. Remarks on sentential logics , 1958 .

[2] B. Jonnson. Algebras Whose Congruence Lattices are Distributive. , 1967 .

[3] Roman Suszko,et al. Investigations into the sentential calculus with identity , 1972, Notre Dame J. Formal Log..

[4] P. M. Cohn,et al. THE METAMATHEMATICS OF ALGEBRAIC SYSTEMS , 1972 .

[5] R. Wójcicki. Matrix approach in methodology of sentential calculi , 1973 .

[6] T. Prucnal,et al. An algebraic characterization of the notion of structural completeness , 1974 .

[7] H. Rasiowa. An Algebraic Approach To Non Classical Logics , 1974 .

[8] S. Bloom. Some theorems on structural consequence operations , 1975 .

[9] Projective and inductive generation of abstract logics , 1976 .

[10] A strongly finite logic with infinite degree of maximality , 1976 .

[11] Degrees of maximality of Klukasiewicz-like sentential calculi , 1977 .

[12] Roman Suszko,et al. On distributivity of closure systems , 1977 .

[13] George Gratzer,et al. Universal Algebra , 1979 .

[14] J. Czelakowski. Reduced products of logical matrices , 1980 .

[15] Wieslaw Dziobiak,et al. The lattice of strengthenings of a strongly finite consequence operation , 1981 .