作者查詢 / xcycl

總覽項目：發文 | 留言 | 暱稱

作者 xcycl 在 PTT [ logic ] 看板的留言(推文), 共11則

限定看板：logic

首頁

尾頁

[ logic ]9 留言, 推噓總分: +1

作者: FTICR - 發表於 2023/02/02 22:56(2年前)

2^F→xcycl: feedback 有時間延遲嗎？02/22 22:59

3^F→xcycl: https://arxiv.org/abs/2201.1045602/28 22:21

4^F→xcycl: 大概是這種方向？電路的完備邏輯/代數結構02/28 22:28

7^F→xcycl: sequential logic 不是 logic ...03/13 21:04

8^F→xcycl: temporal logic 的 temporal modality ...哎算了03/13 21:05

[ logic ]10 留言, 推噓總分: +5

作者: kakukiyora - 發表於 2015/12/09 18:50(10年前)

6^F推xcycl: 還真的有邏輯系統沒有 weakening 多加前提不見得成立01/07 01:00

9^F推xcycl: yep.01/09 07:45

[ logic ]2 留言, 推噓總分: +1

作者: alfadick - 發表於 2013/04/27 23:44(12年前)

2^F→xcycl:大學圖書館借就好了。SpringerLink 很多學校有買直接下載07/05 21:31

[ logic ]5 留言, 推噓總分: +1

作者: jodawa - 發表於 2012/09/28 01:10(13年前)

2^F→xcycl:這邊 C -> D 沒有用到，用 weakening 就可以推出來了 ...09/30 23:04

5^F→xcycl:我寫錯了 *_*12/28 18:44

[ logic ]2 留言, 推噓總分: +1

作者: maibells0 - 發表於 2012/06/02 19:06(13年前)

2^F→xcycl:用 standard translation 去做的話，其實就是 domain 為空的06/08 23:50

首頁

尾頁