Logical matrices and non-structural consequence operators
Tóm tắt
In the present paper, we study some properties of matrices for non-structural consequence operators. These matrices were introduced in a former work (see [3]). In sections 1. and 2., general definitions and theorems are recalled; in section 3. a correspondence is studied, among our matrices and Wójcicki's ones for structural operators. In section 4. a theorem is given about operators, induced by submatrices or epimorphic images, or quotient matrices of a given one. Such matrices are used to characterize lattices of non-structural consequence operators, by constructing lattices, antiisomorphic to them (see section 5.). In the last section, a sufficient condition is given for a non-structural operator to be finite.
Tài liệu tham khảo
J. Łoś andR. Suszko,Remarks on sentential logics,Indagationes Mathematicae 20 (1958), pp. 177–183.
J. Łukasiewicz,Selected Works, North-Holland, Amsterdam 1970.
B. Piochi,Matrici adeguate per calcoli generali predicativi,Bolletino della Unione Matematica Italiana 15-A (1978), pp. 66–76.
B. Piochi,Nota su matrici adeguate per calcoli generali predicativi,Bolletino della Unione Matematica Italiana 1-A (1980), pp. 271–273.
D. J. Shoesmith andT. J. Smiley,Deducibility and many-valuedness,Journal of Symbolic Logic 36 (1971), pp. 610–622.
R. Wójcickj,Some remarks on the consequence operator in sentential logics,Fundamenta Mathemticae 68 (1970), pp. 269–279.
R. Wójcicki,Matrix approach in methodology of sentential calculi,Studia Logica 32 (1974), pp. 7–39.
R. Wójcicki,Note on deducibility and many-valuedness,Journal of Symbolic Logic 39 (1974), pp. 563–566.