Reduced products of logical matrices
Studia Logica 39 (1):19 - 43 (1980)
| Abstract | The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class of matrices containing K and closed under m-reduced products, submatrices, matrix homomorphisms, and matrix homomorphic counter-images. | |||||||||
| 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 articlesJanusz Czelakowski (1981). Equivalential Logics (II). Studia Logica 40 (4):355 - 372.
Janusz Czelakowski (1982). Logical Matrices and the Amalgamation Property. Studia Logica 41 (4):329 - 341.
Piotr Wojtylak (1979). Matrix Representations for Structural Strengthenings of a Propositional Logic. Studia Logica 38 (3):263 - 266.
Janusz Czelakowski (1985). Sentential Logics and Maehara Interpolation Property. Studia Logica 44 (3):265 - 283.
Jan Zygmunt (1974). A Note on Direct Products and Ultraproducts of Logical Matrices. Studia Logica 33 (4):349 - 357.
Brunetto Piochi (1983). Logical Matrices and Non-Structural Consequence Operators. Studia Logica 42 (1):33 - 42.
Janusz Czelakowski (1981). Equivalential Logics (I). Studia Logica 40 (3):227 - 236.
Janusz Czelakowski (1983). Some Theorems on Structural Entailment Relations. Studia Logica 42 (4):417 - 429.
Wolfgang Rautenberg (1993). On Reduced Matrices. Studia Logica 52 (1):63 - 72.
R. A. Lewin, I. F. Mikenberg & M. G. Schwarze (2000). Algebras and Matrices for Annotated Logics. Studia Logica 65 (1):137-153.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,507 of 556,895 )Recent downloads (6 months)1 ( #64,931 of 556,895 )How can I increase my downloads? |
My notes
Discussion
