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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGrzegorz Malinowski (2009). Beyond Three Inferential Values. Studia Logica 92 (2):203 - 213.
Piotr Wojtylak (1978). On Structural Completeness of Many-Valued Logics. Studia Logica 37 (2):139 - 147.
Robert A. Herrmann (2007). General Logic-Systems and Finite Consequence Operators. Logica Universalis 1 (1).
Wolfgang Rautenberg (1981). 2-Element Matrices. Studia Logica 40 (4):315 - 353.
Jan Zygmunt (1974). A Note on Direct Products and Ultraproducts of Logical Matrices. Studia Logica 33 (4):349 - 357.
Piotr Wojtylak (1979). Matrix Representations for Structural Strengthenings of a Propositional Logic. Studia Logica 38 (3):263 - 266.
Janusz Czelakowski (1980). Reduced Products of Logical Matrices. Studia Logica 39 (1):19 - 43.
R. A. Lewin, I. F. Mikenberg & M. G. Schwarze (2000). Algebras and Matrices for Annotated Logics. Studia Logica 65 (1):137-153.
Janusz Czelakowski (1983). Some Theorems on Structural Entailment Relations. Studia Logica 42 (4):417 - 429.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #134,900 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
