No label defined (Q4944942)

On the example of standard negation \(\neg a:=1-a\) and Frank t-norms \(a \& b\) (for which \((a\vee b)+(a \& b)=a+b\), where \(a\vee b:=\neg(\neg a \& \neg b)\)), the authors compare, from the logical viewpoint, logics obtained by adding to \(\&\), \(\vee\), and \(\neg\), either R-implication \(a\to b:=\sup\{c |a\&c\leq b\}\) or S-implication \(a\to b:=b\vee \neg a\). Specifically, the authors analyze such properties as completeness, deduction theorem (\(A\vdash (\varphi\to \psi)\) iff \(A\cup \{\varphi\}\vdash\psi\)), compactness, etc. It turns out that some of the desired logical properties only hold for R-implication, while some other properties only hold for S-implication. Thus, the informal conclusion is that depending on which logical properties we are most interested in, we should choose different logics. For the entire collection see [Zbl 0927.00008].