真实伊斯兰逻辑
计算机科学中的逻辑
2011-03-24 v1
摘要
本文调查了赋予伊斯兰逻辑意义的四种选项，包括对名为“真实伊斯兰逻辑”（RIL）选项的新提议。这种处理伊斯兰逻辑的方法应以类似于伊斯兰金融功能的方式服务于现代伊斯兰目标。本文从多个视角分析了 RIL 的预期作用： 并行分布式系统设计， 由社群结构化受众的接收， 非形式逻辑与应用非经典逻辑，以及 可处理性/不可处理性与人工智能。
引用
@article{arxiv.1103.4515,
title = {Real Islamic Logic},
author = {Jan Aldert Bergstra},
journal= {arXiv preprint arXiv:1103.4515},
year = {2011}
}