没有合适的资源?快使用搜索试试~ 我知道了~
Rust 中的一个库,用于使用直觉命题逻辑进行定理证明。
共18个文件
rs:14个
gitignore:1个
md:1个
需积分: 5 0 下载量 114 浏览量
2021-06-28
19:36:03
上传
评论
收藏 21KB ZIP 举报
温馨提示
StrutsRust 中类型的命题逻辑。Rust 中的库,用于使用直觉命题逻辑进行定理证明。支持经典命题逻辑中的定理证明。用于路径语义研究由AdvancedResearch Community 提供加入我们的 Discord!缩写:IPL:直觉主义/建设性命题逻辑PL:古典命题逻辑PSC:路径语义直觉/构造命题逻辑PSL:路径语义经典命题逻辑动机路径语义用正常路径扩展依赖类型,也用于用多层次命题扩展经典命题逻辑。它还用于探索更高维的数学。路径语义学中一个流行的研究主题是Avatar Extensions 。在研究时,在某些情况下,弄清楚一个证明在经典逻辑中是否可证明是有用的,而在构造逻辑中则不然。这需要轻松地比较证明。该库使用了一种提升机制,可以更轻松地生成经典逻辑中的证明并将它们与构造逻辑中的证明进行比较。设计该库包含:Prop :可能或可能不可判定的命题(构造逻辑)DProp : 可判定命题(经典逻辑)LProp :类似于Prop ,但具有路径语义(路径语义构造逻辑)DLProp :类似于DProp ,但具有路径语义(路径语义经典逻辑)自动提升排除中间到可判定命题Prop证明的双重
资源推荐
资源详情
资源评论
收起资源包目录
advancedresearch-prop-rust-utilities.zip (18个子文件)
prop-main
LICENSE 1KB
src
and.rs 4KB
eq.rs 6KB
or.rs 3KB
imply.rs 4KB
not.rs 333B
path_semantics.rs 24KB
lib.rs 7KB
nat.rs 2KB
Cargo.toml 525B
examples
ps_false.rs 738B
ps_bool.rs 6KB
ps_formation.rs 2KB
ps_comp.rs 522B
ps_norm.rs 387B
ps_refl.rs 562B
.gitignore 365B
README.md 4KB
共 18 条
- 1
资源评论
weixin_38570459
- 粉丝: 3
- 资源: 931
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于SpringBoot+Vue的在线课程管理系统(后端代码)
- MindInsight为MindSpore提供了简单易用的调优调试能力 用于模型优化的可视化仪表板
- 野火霸道开发板485原工程
- 国产化自主可控的人工智能开源平台 平台面向人工智能研究中的数据处理、算法开发、模型训练、算力管理和推理应用等各个流程的技术难点
- 基于Springboot+Vue的江西红色旅游景点宣传网站(后端代码)
- 基于Springboot+Vue的江西红色旅游景点宣传网站(管理端代码)
- Screenshot_20241116_111214.jpg
- 普通话考试操作教程完整版
- 基于Springboot+Vue的江西红色旅游景点宣传网站(网页端代码)
- C语言基本语法入门练习题.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功