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 (categorize this paper)
DOI 10.1007/BF00373095
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,122
Through your library
References found in this work BETA
Multiple-Conclusion Logic.D. J. Shoesmith - 1978 - Cambridge University Press.

View all 7 references / Add more references

Citations of this work BETA
Protoalgebraic Logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Synonymous Logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
Equivalential Logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
Equivalential Logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.

View all 19 citations / Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
19 ( #264,939 of 2,191,293 )

Recent downloads (6 months)
1 ( #291,146 of 2,191,293 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature