scientific article; zbMATH DE number 1156786

Authors

Publication date 10 December 1998

axiomatization infinite-valued logic logical matrix Łukasiewicz logic

Die Verfasser beweisen, daß, falls modus ponens und Substitution als Deduktionsregeln gelten, die Axiomensysteme \hskip 17mm B\('\).\quad \((p\to q)\to ((q\to r)\to (p\to r))\) \hskip 17mm K.\quad \(p\to(q\to p)\) \hskip 17mm D.\quad \(((p\to q)\to q)\to ((q\to p)\to p)\) \hskip 17mm L.\quad \(((p\to q)\to (q\to p))\to (q\to p)\) und \hskip 17mm B.\quad \((q\to r)\to ((p\to q)\to (p\to r))\) \hskip 17mm C.\quad \((p\to (q\to r))\to (q\to (p\to r))\) \hskip 17mm K.\quad \(p\to(q\to p)\) \hskip 17mm X.\quad \(((((p\to q)\to q)\to p)\to r)\to (((((q\to p)\to p)\to q)\to r)\to r)\) gleichwertig sind. Ableitbar sind in beiden Fällen genau die Aussagen, die in der Matrix, in der die Wahrheitswerte das Intervall \([0,1]\) bilden und die Implikation \(x\to y\) als \((1, 1-x+ y)\) interpretiert wird, immer den Werte 1 annehmen.

Recommendations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4390773)