Filter distributive logics
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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesCecylia 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,008 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
