Graduate studies at Western
Studia Logica 43 (4):353 - 377 (1984)
|Abstract||The present paper is thought as a formal study of distributive closure systems which arise in the domain of sentential logics. Special stress is laid on the notion of a C-filter, playing the role analogous to that of a congruence in universal algebra. A sentential logic C is called filter distributive if the lattice of C-filters in every algebra similar to the language of C is distributive. Theorem IV.2 in Section IV gives a method of axiomatization of those filter distributive logics for which the class Matr (C) prime of C-prime matrices (models) is axiomatizable. In Section V, the attention is focused on axiomatic strengthenings of filter distributive logics. The theorems placed there may be regarded, to some extent, as the matrix counterparts of Baker's well-known theorem from universal algebra [9, § 62, Theorem 2].|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Cecylia Rauszer & Bogdan Sabalski (1975). Notes on the Rasiowa-Sikorski Lemma. Studia Logica 34 (3):265 - 268.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Studia Logica 64 (1):93-132.
Samy Zafrany (1990). On Analytic Filters and Prefilters. Journal of Symbolic Logic 55 (1):315-322.
Janusz Czelakowski (1983). Matrices, Primitive Satisfaction and Finitely Based Logics. Studia Logica 42 (1):89 - 104.
Janusz Czelakowski (1981). Equivalential Logics (II). Studia Logica 40 (4):355 - 372.
Matt Kaufmann (1984). Filter Logics on Ω. Journal of Symbolic Logic 49 (1):241-256.
Janusz Czelakowski (1985). Sentential Logics and Maehara Interpolation Property. Studia Logica 44 (3):265 - 283.
W. J. Blok & Don Pigozzi (1986). Protoalgebraic Logics. Studia Logica 45 (4):337 - 369.
J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Added to index2009-01-28
Total downloads3 ( #214,063 of 740,099 )
Recent downloads (6 months)1 ( #61,960 of 740,099 )
How can I increase my downloads?