Now showing items 308-309 of 309

    • The Z Property 

      NAGELE, J; Felgenhauer, B; van Oostrom, V; Sternagel, C (2016-06-30)
      We formalize the Z property introduced by Dehornoy and van Oostrom. First we show that for any abstract rewrite system, Z implies confluence. Then we give two examples of proofs using Z: confluence of lambda-calculus with ...
    • The Zero-Sum Fallacy in Evidence Evaluation. 

      Pilditch, TD; Fenton, N; Lagnado, D (SAGE, 2018-12-31)
      There are many instances, both in professional domains such as law, forensics, and medicine and in everyday life, in which an effect (e.g., a piece of evidence or event) has multiple possible causes. In three experiments, ...