scientific article
From MaRDI portal
Publication:4011710
zbMath0751.03036MaRDI QIDQ4011710
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraizable logicsquasivarietiesmatrix modelsprincipal filtersquasi-equational theoryfilter-extension propertylocal deduction-detachment theoremprotoalgebraic \(k\)-dimensional deductive system
Algebraic logic (03G99) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10) Abstract deductive systems (03B22)
Related Items (30)
Almost structural completeness; an algebraic approach ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ Fregean logics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ A Mathematical Life ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ The algebraic significance of weak excluded middle laws ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ 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 ⋮ Some modal and temporal translations of generalized basic logic ⋮ Contextual deduction theorems ⋮ Relation algebras can tile ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ On prevarieties of logic ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency ⋮ \(M\)-sets and the representation problem
This page was built for publication:
