Algebraic aspects of deduction theorems

DOI10.1007/BF00370428zbMath0612.03016MaRDI QIDQ1087867

Janusz Czelakowski

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370428

zbMATH Keywords

closure spaces; lattices of deductive filters; sequential logics; structural consequence operation; uniform deduction theorem scheme

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

03B99: General logic

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