Algebraic aspects of deduction theorems

DOI10.1007/BF00370428zbMath0612.03016OpenAlexW2093865192MaRDI 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 spaceslattices of deductive filterssequential logicsstructural consequence operationuniform deduction theorem scheme

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) General logic (03B99)

Related Items (24)

Sentential logics and Maehara interpolation property ⋮ Deduction theorems within RM and its extensions ⋮ Local deductions theorems ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Fregean logics ⋮ The deduction theorem for quantum logic—some negative results ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ The algebraic significance of weak excluded middle laws ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Abstract algebraic logic. An introductory chapter ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Contextual deduction theorems ⋮ Inconsistency lemmas in algebraic logic ⋮ A deduction theorem schema for deductive systems of propositional logics ⋮ Strong versus weak quantum consequence operations ⋮ Fragments of R-mingle ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Freeness in classes without equality ⋮ A first approach to abstract modal logics

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

This page was built for publication: Algebraic aspects of deduction theorems