作者查詢 / Favonia

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

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

限定看板：logic

首頁

尾頁

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

作者: altosax1301 - 發表於 2012/06/07 14:57(12年前)

10^F→Favonia:不用浪費時間爭論這種問題... 雙方的語言可以溝通就好了。06/08 14:33

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

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

1^F推Favonia:這有點像是一階邏輯但 domain 竟然是空的狀況？xD06/02 20:23

[ logic ]20 留言, 推噓總分: 0

作者: MathTurtle - 發表於 2011/12/26 03:53(12年前)

1^F→Favonia:我喜歡的符號跟你用的好像完全不一樣 xD 然後我覺以為直覺12/28 15:09

2^F→Favonia:直覺邏輯大都有爆炸原理也有 RAA2 和 RAA4 ?12/28 15:12

3^F→Favonia:（經過適當翻譯後）12/28 15:12

13^F→Favonia:hmm 我對於相關邏輯（relevant logic）沒有研究就是了 xD12/29 01:40

14^F→Favonia:雖然我對 paraconsistent logic 也超不熟不過我找到一個12/30 14:19

15^F→Favonia:有趣的資料也許你會有興趣：http://plato.stanford.edu12/30 14:19

16^F→Favonia:/entries/logic-paraconsistent/#ManyValLog12/30 14:19

17^F→Favonia:你的 ? 跟網站中的 b (both) 好像一樣 xD (1966 的論文？)12/30 14:21

20^F→Favonia:哈哈不過真正來源應該是 1966 年 Asenjo 的 PhD 畢業論文12/31 00:15

首頁

尾頁