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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Matrix Approach in Methodology of Sentential Calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
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.
Citations of this work BETA
Many-Valued Computational Logics.Zbigniew Stachniak - 1989 - Journal of Philosophical Logic 18 (3):257 - 274.
Nonmonotonic Theories and Their Axiomatic Varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.
Similar books and articles
Model-Theoretic Investigations Into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach.Piotr Wilczek - unknown
Algebras and Matrices for Annotated Logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
Matrix Representations for Structural Strengthenings of a Propositional Logic.Piotr Wojtylak - 1979 - Studia Logica 38 (3):263 - 266.
A Note on Direct Products and Ultraproducts of Logical Matrices.Jan Zygmunt - 1974 - Studia Logica 33 (4):349 - 357.
General Logic-Systems and Finite Consequence Operators.Robert A. Herrmann - 2007 - Logica Universalis 1 (1):201-208.
On Structural Completeness of Many-Valued Logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.
Some Theorems on Structural Entailment Relations.Janusz Czelakowski - 1983 - Studia Logica 42 (4):417 - 429.
Analytics
Added to PP index
2009-01-28
Total views
49 ( #204,123 of 2,409,854 )
Recent downloads (6 months)
4 ( #189,546 of 2,409,854 )
2009-01-28
Total views
49 ( #204,123 of 2,409,854 )
Recent downloads (6 months)
4 ( #189,546 of 2,409,854 )
How can I increase my downloads?
Downloads