A deduction theorem schema for deductive systems of propositional logics
暂无分享,去创建一个
We propose a new schema for the deduction theorem and prove that the deductive system S of a prepositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only prepositional letters p and q such that A(p, p) ⊑ L and p, A(p, q) ⊢sq.
[1] W. Blok. Algebraic Semantics for Universal Horn Logic Without Equality , 1992 .
[2] Janusz Czelakowski. Local deductions theorems , 1986, Stud Logica.
[3] W. Pogorzelski,et al. Przegląd twierdzeń o dedukcji dla rachunków zdań , 1964 .
[4] Marek Tokarz. Deduction theorems for RM and its extensions , 1979 .
[5] Janusz Czelakowski. Algebraic aspects of deduction theorems , 1985, Stud Logica.