Local deductions theorems

DOI10.1007/BF00370271zbMath0622.03009MaRDI QIDQ1090668

Janusz Czelakowski

Publication date: 1986

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

zbMATH Keywords

finitary logicindeterminate deduction theoremL-filter extension propertylocal deduction theorem

Mathematics Subject Classification ID

Model theory (03C99) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (19)

Deduction theorems within RM and its extensions ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Fregean logics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ The algebraic significance of weak excluded middle laws ⋮ Deduction theorem in congruential modal logics ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Contextual deduction theorems ⋮ Inconsistency lemmas in algebraic logic ⋮ A deduction theorem schema for deductive systems of propositional logics ⋮ Lattice BCK logics with Modus Ponens as unique rule ⋮ Fragments of R-mingle ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Freeness in classes without equality ⋮ Equivalential and algebraizable logics ⋮ Idempotent residuated structures: Some category equivalences and their applications

Cites Work

• Unnamed Item
• Unnamed Item
• Filter distributive logics
• Matrices, primitive satisfaction and finitely based logics
• Algebraic aspects of deduction theorems
• A survey of deduction theorems for the propositional calculi
• Axiomatization of the infinite-valued predicate calculus

This page was built for publication: Local deductions theorems