A deduction theorem schema for deductive systems of propositional logics |
| |
| Authors: | Janusz Czelakowski Wiesław Dziobiak |
| |
| Institution: | (1) Section of Logic, Polish Academy of Sciences, Lód , Poland;(2) Department of Mathematics, Iowa State University, Ames, Iowa, USA;(3) Institute of Mathematics, Nicolas Copernicus University, Toru , Poland |
| |
| Abstract: | 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)  s
q. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
