Gradual Classical Logic for Attributed Objects-Extended in Re-Presentation
R Arisaka - arxiv preprint arxiv:1504.04802, 2015 - arxiv.org
Our understanding about things is conceptual. By stating that we reason about objects, it is
in fact not the objects but concepts referring to them that we manipulate. Now, so long just as …
in fact not the objects but concepts referring to them that we manipulate. Now, so long just as …
Predicate Gradual Logic and Linguistics
R Arisaka - arxiv preprint arxiv:1603.05570, 2016 - arxiv.org
There are several major proposals for treating donkey anaphora such as discourse
representation theory and the likes, or E-Type theories and the likes. Every one of them …
representation theory and the likes, or E-Type theories and the likes. Every one of them …
[PDF][PDF] 漸進的論理のシークエント計算
蟻坂竜大 - 日本ソフトウェア科学会大会論文集/日本ソフトウェア科学 …, 2015 - jssst.or.jp
漸進的論理は私が以前考案した論理体系の日本語直訳であり, 属性を持つ概念の推論を念頭に
おく. 特有の論理記号として⋗ を持ち, P1⋗ P2 はおおよそ,“P1 は P1 を論じる領域内の真により真で …
おく. 特有の論理記号として⋗ を持ち, P1⋗ P2 はおおよそ,“P1 は P1 を論じる領域内の真により真で …