Publication:4011710
From MaRDI portal
zbMath0751.03036MaRDI QIDQ4011710
Publication date: 27 September 1992
algebraizable logics; quasivarieties; matrix models; principal filters; quasi-equational theory; filter-extension property; local deduction-detachment theorem; protoalgebraic \(k\)-dimensional deductive system
03G99: Algebraic logic
08C15: Quasivarieties
03C05: Equational classes, universal algebra in model theory
08C10: Axiomatic model classes
03B22: Abstract deductive systems
Related Items
Algebraic Characterization of the Local Craig Interpolation Property, A Mathematical Life, Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency, Idempotent residuated structures: Some category equivalences and their applications, AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS, The algebraic significance of weak excluded middle laws, Almost structural completeness; an algebraic approach, The semantic isomorphism theorem in abstract algebraic logic, The proof by cases property and its variants in structural consequence relations, Fregean logics, Contextual deduction theorems, Algebraic logic for classical conjunction and disjunction, Algebraization of quantifier logics, an introductory overview, Definitional equivalence and algebraizability of generalized logical systems, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Relative congruence formulas and decompositions in quasivarieties, Fregean logics with the multiterm deduction theorem and their algebraization, On the structure of varieties with equationally definable principal congruences. I, A category equivalence for odd Sugihara monoids and its applications, Relation algebras can tile, On prevarieties of logic, \(M\)-sets and the representation problem, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, In memory of Willem Johannes Blok 1947-2003, Willem Blok's contribution to abstract algebraic logic, On the closure properties of the class of full G-models of a deductive system, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Beyond Rasiowa's algebraic approach to non-classical logics, Some modal and temporal translations of generalized basic logic