如何构造一种新逻辑
逻辑
2021-08-19 v1 计算机科学中的逻辑
摘要
我们讨论如何构造一种新逻辑，并考虑如下口号：\it 取你所知的反面。\rm 假设我们有一个根岑式（Gentzen-style）逻辑系统 。由 构造新逻辑的操作如下：\it 对 的所有公理与规则，将其公理或规则中相继式里出现的所有箭头方向改为相反方向。\rm 我们称此操作为 \it Stahlization（斯坦尔化）。\rm 我们在此视角下考察若干逻辑。
引用
@article{arxiv.2108.05934,
title = {How to Make a New Logic},
author = {Takao Inoué},
journal= {arXiv preprint arXiv:2108.05934},
year = {2021}
}
备注
7 pages