No label defined (Q4390773)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1156786
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1156786 |
Statements
10 December 1998
0 references
axiomatization
0 references
infinite-valued logic
0 references
Łukasiewicz logic
0 references
logical matrix
0 references
0.7850019
0 references
0.7789855
0 references
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.
0 references
