Deduction modulo is a way to express a theory using computation rules instead of axioms. We present in this paper an extension of deduction modulo, called Polarized deduction modulo, where some rules can only be used at positive occurrences, while others can only be used at negative ones. We show that all theories in propositional calculus can be expressed in this framework and that cuts can always be eliminated with such theories.
翻译：暂无翻译
相关内容
iOS 8 提供的应用间和应用跟系统的功能交互特性。
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
- Today (iOS and OS X): widgets for the Today view of Notification Center
- Share (iOS and OS X): post content to web services or share content with others
- Actions (iOS and OS X): app extensions to view or manipulate inside another app
- Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
- Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
- Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
- Custom Keyboard (iOS): system-wide alternative keyboards
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
专知会员服务
34+阅读 · 2019年10月17日
Arxiv
0+阅读 · 2023年7月11日
相关主题
相关VIP内容
专知会员服务
34+阅读 · 2019年10月17日
相关资讯
微信扫码咨询专知VIP会员