turnstile

在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基于相继式（sequent）表达，而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑

Cloudflare 推出了 CAPTCHA 的免费替代 Turnstile，任何人都可以使用，不管是不是 Cloudflare 的客户。Turnstile 利用了 Cloudflare 的 Managed Challenge 系统，从用户行为、浏览器数据，以及苹果设备上的 Private Access Tokens 获取线索区分人类和机器人程序。Cloudflare 称其 Managed Challenge 系统能在一年内将向访问者展示的 CAPTCHA 减少 91%