Algebraic aspects of deduction theorems
From MaRDI portal
Publication:1087867
DOI10.1007/BF00370428zbMath0612.03016MaRDI QIDQ1087867
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
closure spaces; lattices of deductive filters; sequential logics; structural consequence operation; uniform deduction theorem scheme
Related Items
Freeness in classes without equality, Inconsistency lemmas in algebraic logic, Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited, Fregean logics, Contextual deduction theorems, Sentential logics and Maehara interpolation property, Local deductions theorems, A deduction theorem schema for deductive systems of propositional logics, Strong versus weak quantum consequence operations, Algebraic study of Sette's maximal paraconsistent logic, Fragments of R-mingle, Fregean logics with the multiterm deduction theorem and their algebraization, The parameterized local deduction theorem for quasivarieties of algebras and its application, On the closure properties of the class of full G-models of a deductive system, The deduction theorem for quantum logic—some negative results, A first approach to abstract modal logics, Deduction theorems within RM and its extensions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Matrices, primitive satisfaction and finitely based logics
- Reduced products of logical matrices
- Varieties with equationally definable principal congruences
- Equivalential logics. I
- A survey of deduction theorems for the propositional calculi
- Matrix approach in methodology of sentential calculi
- The lattice of modal logics: an algebraic investigation
- Algebraic completeness results for R-mingle and its extensions