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)
Full work available at URL: https://doi.org/10.1007/bf00370428
closure spaces; lattices of deductive filters; sequential logics; structural consequence operation; uniform deduction theorem scheme
Related Items
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, Deduction-Detachment Theorem and Gentzen-Style Deductive Systems, Freeness in classes without equality, ON EQUATIONAL COMPLETENESS THEOREMS, Inconsistency lemmas in algebraic logic, The algebraic significance of weak excluded middle laws, The Deduction Theorem (Before and After Herbrand), 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, Selfextensional logics with a distributive nearlattice term, 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