Logical matrices and non-structural consequence operators

Studia Logica 42 (1):33 - 42 (1983)

Abstract
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01418757
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,759
Through your library

References found in this work BETA

Selected Works.Jan Łukasiewicz - 1970 - Amsterdam: North-Holland Pub. Co..
Deducibility and Many-Valuedness.D. J. Shoesmith & T. J. Smiley - 1971 - Journal of Symbolic Logic 36 (4):610-622.
Note on Deducibility and Many-Valuedness.Ryszard Wójcicki - 1974 - Journal of Symbolic Logic 39 (3):563-566.

Add more references

Citations of this work BETA

Nonmonotonic Theories and Their Axiomatic Varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.
Many-Valued Computational Logics.Zbigniew Stachniak - 1989 - Journal of Philosophical Logic 18 (3):257 - 274.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
39 ( #215,660 of 2,264,821 )

Recent downloads (6 months)
10 ( #99,478 of 2,264,821 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature