Recommendations
Cites work
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3706448 (Why is no real title available?)
- scientific article; zbMATH DE number 3784836 (Why is no real title available?)
- scientific article; zbMATH DE number 3270653 (Why is no real title available?)
- A survey of deduction theorems for the propositional calculi
- Algebraic completeness results for R-mingle and its extensions
- Equivalential logics. I
- Matrices, primitive satisfaction and finitely based logics
- Matrix approach in methodology of sentential calculi
- Reduced products of logical matrices
- The lattice of modal logics: an algebraic investigation
- Varieties with equationally definable principal congruences
Cited in
(38)- A deduction theorem schema for deductive systems of propositional logics
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- Freeness in classes without equality
- A study of truth predicates in matrix semantics
- scientific article; zbMATH DE number 67022 (Why is no real title available?)
- Intuitionistic Sahlqvist theory for deductive systems
- The deduction theorem for quantum logic—some negative results
- Fregean logics
- Contextual deduction theorems
- scientific article; zbMATH DE number 6019825 (Why is no real title available?)
- scientific article; zbMATH DE number 3902629 (Why is no real title available?)
- Fragments of R-mingle
- Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms
- Algebraic study of Sette's maximal paraconsistent logic
- Deduction theorems within RM and its extensions
- scientific article; zbMATH DE number 3882410 (Why is no real title available?)
- Inconsistency lemmas in algebraic logic
- On weakening the Deduction Theorem and strengthening Modus Ponens
- ON EQUATIONAL COMPLETENESS THEOREMS
- Fregean logics with the multiterm deduction theorem and their algebraization
- scientific article; zbMATH DE number 3916269 (Why is no real title available?)
- scientific article; zbMATH DE number 3857077 (Why is no real title available?)
- The algebraic significance of weak excluded middle laws
- On the closure properties of the class of full G-models of a deductive system
- The Deduction Theorem (Before and After Herbrand)
- Strong versus weak quantum consequence operations
- A first approach to abstract modal logics
- scientific article; zbMATH DE number 1463146 (Why is no real title available?)
- Equational definitions of logical filters
- A gentle introduction to the Leibniz hierarchy
- Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
- Sentential logics and Maehara interpolation property
- scientific article; zbMATH DE number 4189690 (Why is no real title available?)
- Deduction-detachment theorem and Gentzen-style deductive systems
- Selfextensional logics with a distributive nearlattice term
- Abstract algebraic logic. An introductory chapter
- Local deductions theorems
This page was built for publication: Algebraic aspects of deduction theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1087867)
