Classical negation can be expressed by one of its halves
Der Autor betrachtet Formeln, die aus aussagenlogischen Variablen vermittels einer zweistelligen Operation \(\succ\) und einer einstelligen Operation \(\Theta\) aufgebaut sind. Als Interpretationen sind solche Funktionen \(\beta\) aus der Menge dieser Formeln nach \(\{0,1\}\) zulässig, bei denen: 1) \(\beta(a \succ b)=0\) genau dann, wenn \(\beta(a)=1\) und \(\beta(b)=0\); 2) wenn \(\beta(a)=1\), dann \(\beta(\Theta a)=0\). Falls \(a\) eine Formel und \(T\) eine Menge von Formeln ist, dann gilt definitionsgemäß: \(T\vDash_{k/2}a\) genau dann, wenn für jede zulässige Funktion \(\beta\), bei der \(\beta(b)=1\) für alle \(b\in T\), auch \(\beta(a)=1\) gilt. Wenn man \(\succ\) als die Implikation und \(\Theta\) als die Negation interpretiert, dann ist \(\vDash_{k/2}\) schwächer als das klassische Ableitbarkeitssymbol \(\vDash_k\). Wenn man aber die Implikation \(a\to b\) als \(a\succ b\) und die Negation \(\neg a\) als \(a\succ\Theta a\) interpretiert, dann wird die ganze klassische Aussagenlogik durch einen Teil des gegebenen Kalküls ausgedrückt, wobei in diesem Teil \(\vDash_{k/2}\) genau dem klassischen Ableitbarkeitssymbol \(\vDash_k\) entspricht.
- What is a logic translation?
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Notational variance and its variants
- Abstract valuation semantics
- 2002 Annual Conference of the Australasian Association for Logic
- Non Truth-Functional Many-Valuedness
- Classical negation and expansions of Belnap-Dunn logic
- The algebra of opposition (and universal logic interpretations)
- On non-deterministic functional completeness
This page was built for publication: Classical negation can be expressed by one of its halves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237677)
